Skip to content

Actions: seL4/ci-actions

Actions

Deploy RumpRun

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-rumprun.yml
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

platforms: add tqma8xqp1gb to hw test Deploy RumpRun #121: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 2s master
master
December 9, 2023 08:40 2m 2s
platforms: add RISCVVIRT32 for QEMU RISC-V virt (#234) Deploy RumpRun #120: Commit 2a5f3a0 pushed by Ivan-Velickovic
October 24, 2023 23:44 3m 28s master
master
October 24, 2023 23:44 3m 28s
Add new host keys Deploy RumpRun #119: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 9s master
master
July 19, 2023 02:02 2m 9s
scripts: update ts server ID Deploy RumpRun #118: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 2m 25s master
master
July 18, 2023 10:22 2m 25s