Skip to content

Actions: seL4/ci-actions

Actions

Deploy CAmkES Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-camkes-test.yml
5 workflow run results
5 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

platforms: add tqma8xqp1gb to hw test Deploy CAmkES Test #124: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 2m 18s master
master
December 9, 2023 08:40 2m 18s
Deploy CAmkES Test Deploy CAmkES Test #123: Manually run by lsf37
November 9, 2023 02:23 2m 9s master
master
November 9, 2023 02:23 2m 9s
platforms: add RISCVVIRT32 for QEMU RISC-V virt (#234) Deploy CAmkES Test #122: Commit 2a5f3a0 pushed by Ivan-Velickovic
October 24, 2023 23:44 4m 14s master
master
October 24, 2023 23:44 4m 14s
Add new host keys Deploy CAmkES Test #121: Commit 607634d pushed by lsf37
July 19, 2023 02:02 2m 38s master
master
July 19, 2023 02:02 2m 38s
scripts: update ts server ID Deploy CAmkES Test #120: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 2m 51s master
master
July 18, 2023 10:22 2m 51s