Skip to content

Actions: seL4/ci-actions

Deploy CParser Builder

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow run results
6 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

platforms: add tqma8xqp1gb to hw test
Deploy CParser Builder #148: Commit 38ce9b3 pushed by lsf37
December 9, 2023 08:40 4m 3s master
December 9, 2023 08:40 4m 3s
cparser-deploy
Deploy CParser Builder #147: Repository dispatch triggered by seL4-ci
November 3, 2023 03:00 15m 31s
November 3, 2023 03:00 15m 31s
platforms: add RISCVVIRT32 for QEMU RISC-V virt (#234)
Deploy CParser Builder #146: Commit 2a5f3a0 pushed by Ivan-Velickovic
October 24, 2023 23:44 7m 39s master
October 24, 2023 23:44 7m 39s
cparser-deploy
Deploy CParser Builder #145: Repository dispatch triggered by seL4-ci
October 6, 2023 04:22 3m 15s
October 6, 2023 04:22 3m 15s
Add new host keys
Deploy CParser Builder #144: Commit 607634d pushed by lsf37
July 19, 2023 02:02 5m 12s master
July 19, 2023 02:02 5m 12s
scripts: update ts server ID
Deploy CParser Builder #143: Commit e1f9950 pushed by lsf37
July 18, 2023 10:22 5m 22s master
July 18, 2023 10:22 5m 22s