docker deploy action

[lsf37]

For the seL4-CAmkES-L4v-dockerfiles repo, after build (#84), on push to the master branch, deploy a set of images.

The action can probably go into that repo directly.

List of images to deploy.

• CakeMLToolchain
• Camkes
• L4v
• RISCV (no longer a separate image)
• seL4
• Sysinit (unmaintained)
• Other:
  • sel4-rust
  • camkes-vis (unmaintained)
  • l4v-cakeml (unmaintained)
  • rust-sysinit (no longer a separate image)

[lsf37]

Also blocked on machine-queue, see #84

[axel-h]

There seems to be a deploy action now, can this be closed?

[lsf37]

No, that action doesn't deploy yet.

[lsf37]

(This issue is for the action inside the https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles repo, not the deploy actions inside this repo)

[lsf37]

Being implemented in seL4/seL4-CAmkES-L4v-dockerfiles#49

We might want to add a test for each of the images that something actually compiles in them, but let's get them properly deploying first.

[lsf37]

The container build already includes a sel4test simulation run, so the test I wanted is already there.