Skip to content

Actions: seL4/sel4test

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CMake: allow skipping include of settings.cmake CI #204: Pull request #40 synchronize by axel-h
April 4, 2024 08:52 29s axel-h:patch-axel-1
axel-h:patch-axel-1
April 4, 2024 08:52 29s
CI: the seL4/machine_queue repo is public now CI #203: Commit b416516 pushed by lsf37
April 4, 2024 07:11 51s master
master
April 4, 2024 07:11 51s
CMake: allow skipping include of settings.cmake CI #202: Pull request #40 synchronize by Indanz
April 1, 2024 08:46 27s axel-h:patch-axel-1
axel-h:patch-axel-1
April 1, 2024 08:46 27s
CI: the seL4/machine_queue repo is public now CI #201: Pull request #118 synchronize by Indanz
April 1, 2024 08:42 23s axel-h:patch-axel-4
axel-h:patch-axel-4
April 1, 2024 08:42 23s
cmake: remove trailing slash CI #200: Commit a8f83c5 pushed by Indanz
April 1, 2024 08:40 49s master
master
April 1, 2024 08:40 49s
CMake: allow skipping include of settings.cmake CI #199: Pull request #40 synchronize by axel-h
March 31, 2024 23:40 27s axel-h:patch-axel-1
axel-h:patch-axel-1
March 31, 2024 23:40 27s
CMake: allow skipping include of settings.cmake CI #198: Pull request #40 synchronize by axel-h
March 31, 2024 23:32 31s axel-h:patch-axel-1
axel-h:patch-axel-1
March 31, 2024 23:32 31s
CI: the seL4/machine_queue repo is public now CI #197: Pull request #118 opened by axel-h
March 31, 2024 22:18 24s axel-h:patch-axel-4
axel-h:patch-axel-4
March 31, 2024 22:18 24s
Allow setting NANOPB_SRC_ROOT_FOLDER CI #196: Pull request #117 opened by axel-h
March 31, 2024 02:34 43s axel-h:patch-axel-2
axel-h:patch-axel-2
March 31, 2024 02:34 43s
Add ARM vCPU inject IRQ test CI #195: Commit 9ff0911 pushed by lsf37
February 21, 2024 01:08 1m 50s master
master
February 21, 2024 01:08 1m 50s
Add a test for injecting an IRQ on a vCPU without a TCB associated CI #194: Pull request #114 synchronize by lsf37
February 21, 2024 01:04 29s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 21, 2024 01:04 29s
SMC0001: Remove test of clobbered registers CI #193: Commit eb1b944 pushed by kent-mcleod
February 20, 2024 22:03 34s master
master
February 20, 2024 22:03 34s
SMC0001: Remove test of clobbered registers CI #192: Pull request #116 opened by kent-mcleod
February 20, 2024 21:37 32s kent-mcleod:kent/smc2
kent-mcleod:kent/smc2
February 20, 2024 21:37 32s
CMake: allow skipping include of settings.cmake CI #191: Pull request #40 synchronize by axel-h
February 20, 2024 20:01 25s axel-h:patch-axel-1
axel-h:patch-axel-1
February 20, 2024 20:01 25s
aarch64,smc: Add tests for SMC cap behaviors CI #190: Commit f1fa98c pushed by Indanz
February 19, 2024 21:30 46s master
master
February 19, 2024 21:30 46s
aarch64,smc: Add tests for SMC cap behaviors CI #189: Pull request #101 synchronize by kent-mcleod
February 19, 2024 20:52 33s kent-mcleod:kent/smc
kent-mcleod:kent/smc
February 19, 2024 20:52 33s
Add a test for injecting an IRQ on a vCPU without a TCB associated CI #188: Pull request #114 synchronize by Ivan-Velickovic
February 19, 2024 02:24 31s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 19, 2024 02:24 31s
Add a test for injecting an IRQ on a vCPU without a TCB associated CI #187: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:07 36s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:07 36s
Add a test for injecting an IRQ on a vCPU without a TCB associated CI #186: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:04 41s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:04 41s
Add a test for injecting an IRQ on a vCPU without a TCB associated CI #185: Pull request #114 opened by Ivan-Velickovic
February 16, 2024 07:03 43s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:03 43s
CMake: allow skipping include of settings.cmake CI #184: Pull request #40 synchronize by axel-h
February 9, 2024 13:09 27s axel-h:patch-axel-1
axel-h:patch-axel-1
February 9, 2024 13:09 27s
github: bump actions to node20 CI #183: Commit dae2ff3 pushed by lsf37
February 7, 2024 23:38 44s master
master
February 7, 2024 23:38 44s
github: bump actions to node20 CI #182: Pull request #113 opened by lsf37
February 7, 2024 05:02 30s github-node20
github-node20
February 7, 2024 05:02 30s
hw debug API: aarch64 sw break, single step tests CI #181: Commit 0a488b9 pushed by Indanz
January 23, 2024 10:56 29s master
master
January 23, 2024 10:56 29s
Hardware debug API: Extend to aarch64 and add single stepping test CI #180: Pull request #111 synchronize by alwin-joshy
January 23, 2024 10:51 32s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 23, 2024 10:51 32s