Skip to content

Actions: seL4/ci-actions

Actions

Deploy CAmkES VM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-camkes-vm.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy CAmkES VM Deploy CAmkES VM #85: Manually run by lsf37
November 9, 2023 02:23 1m 58s master
master
November 9, 2023 02:23 1m 58s
platforms: add RISCVVIRT32 for QEMU RISC-V virt (#234) Deploy CAmkES VM #84: Commit 2a5f3a0 pushed by Ivan-Velickovic
October 24, 2023 23:44 3m 30s master
master
October 24, 2023 23:44 3m 30s
Add new host keys Deploy CAmkES VM #83: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 0s master
master
July 19, 2023 02:02 2m 0s
scripts: update ts server ID Deploy CAmkES VM #82: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 2m 29s master
master
July 18, 2023 10:22 2m 29s