Skip to content

Actions: seL4/ci-actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sel4test: re-enable riscv+clang
PR #927: Pull request #370 synchronize by lsf37
October 13, 2024 21:28 45s riscv-clang-11
October 13, 2024 21:28 45s
sel4test-hw: remove odroidc4_debug_smp_mcs_clang
PR #926: Pull request #371 opened by lsf37
October 12, 2024 23:32 31s odroidc4-multicore
October 12, 2024 23:32 31s
sel4test: re-enable riscv+clang
PR #925: Pull request #370 opened by lsf37
October 12, 2024 06:48 39s riscv-clang-11
October 12, 2024 06:48 39s
matrix: temporarily remove riscv/clang
PR #924: Pull request #369 synchronize by lsf37
October 12, 2024 04:19 30s more-riscv-clang
October 12, 2024 04:19 30s
matrix: temporarily remove riscv/clang
PR #921: Pull request #369 opened by lsf37
October 12, 2024 04:02 33s more-riscv-clang
October 12, 2024 04:02 33s
sel4test: temporarily remove riscv/clang
PR #920: Pull request #368 opened by lsf37
October 12, 2024 02:08 53s riscv-clang-12
October 12, 2024 02:08 53s
sel4test-hw: un-pin upstream image version
PR #919: Pull request #367 synchronize by lsf37
October 12, 2024 01:28 25s unpin-docker
October 12, 2024 01:28 25s
sel4test-hw: un-pin upstream image version
PR #918: Pull request #367 synchronize by lsf37
October 12, 2024 01:26 29s unpin-docker
October 12, 2024 01:26 29s
sel4test-hw: un-pin upstream image version
PR #917: Pull request #367 opened by lsf37
October 12, 2024 01:25 26s unpin-docker
October 12, 2024 01:25 26s
disable more zynqmp 32 tests
PR #912: Pull request #363 opened by lsf37
August 14, 2024 07:56 34s zynqmp-hyp-mcs-32
August 14, 2024 07:56 34s
camkes-vm: avoid exception when BAMBOO is not set
PR #911: Pull request #362 opened by lsf37
August 13, 2024 09:13 34s camkes-vm-fix
August 13, 2024 09:13 34s
platforms: enable zynqmp 32-bit tests
PR #910: Pull request #361 opened by lsf37
August 13, 2024 08:08 29s zynqmp-32
August 13, 2024 08:08 29s
builds: exclude clang + hyp + smp for zynqmp
PR #909: Pull request #360 opened by lsf37
August 11, 2024 15:08 32s zynqmp-hyp-clang
August 11, 2024 15:08 32s
zynqmp: enable hyp tests
PR #908: Pull request #359 opened by lsf37
August 8, 2024 08:59 28s zynqmp-hyp
August 8, 2024 08:59 28s
sel4test-hw: temporarily pin docker base image
PR #907: Pull request #358 opened by lsf37
July 26, 2024 00:55 25s pin-docker
July 26, 2024 00:55 25s
allow other manifests in l4v-deploy
PR #906: Pull request #357 synchronize by lsf37
July 18, 2024 23:28 2h 18m 25s l4v-deploy-update
July 18, 2024 23:28 2h 18m 25s
allow other manifests in l4v-deploy
PR #905: Pull request #357 synchronize by lsf37
July 18, 2024 07:52 29s l4v-deploy-update
July 18, 2024 07:52 29s
allow other manifests in l4v-deploy
PR #904: Pull request #357 synchronize by lsf37
July 18, 2024 07:50 31s l4v-deploy-update
July 18, 2024 07:50 31s
allow other manifests in l4v-deploy
PR #903: Pull request #357 opened by lsf37
July 18, 2024 07:49 30s l4v-deploy-update
July 18, 2024 07:49 30s