Skip to content

Actions: seL4/sel4test

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-sim.yml
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CMake: allow skipping include of settings.cmake seL4Test #168: Pull request #40 synchronize by axel-h
March 31, 2024 23:40 12m 38s axel-h:patch-axel-1
axel-h:patch-axel-1
March 31, 2024 23:40 12m 38s
CMake: allow skipping include of settings.cmake seL4Test #167: Pull request #40 synchronize by axel-h
March 31, 2024 23:32 13m 8s axel-h:patch-axel-1
axel-h:patch-axel-1
March 31, 2024 23:32 13m 8s
CI: the seL4/machine_queue repo is public now seL4Test #166: Pull request #118 opened by axel-h
March 31, 2024 22:18 12m 51s axel-h:patch-axel-4
axel-h:patch-axel-4
March 31, 2024 22:18 12m 51s
Allow setting NANOPB_SRC_ROOT_FOLDER seL4Test #165: Pull request #117 opened by axel-h
March 31, 2024 02:34 12m 46s axel-h:patch-axel-2
axel-h:patch-axel-2
March 31, 2024 02:34 12m 46s
Add ARM vCPU inject IRQ test seL4Test #164: Commit 9ff0911 pushed by lsf37
February 21, 2024 01:08 14m 30s master
master
February 21, 2024 01:08 14m 30s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test #163: Pull request #114 synchronize by lsf37
February 21, 2024 01:04 12m 48s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 21, 2024 01:04 12m 48s
SMC0001: Remove test of clobbered registers seL4Test #162: Commit eb1b944 pushed by kent-mcleod
February 20, 2024 22:03 13m 2s master
master
February 20, 2024 22:03 13m 2s
SMC0001: Remove test of clobbered registers seL4Test #161: Pull request #116 opened by kent-mcleod
February 20, 2024 21:37 12m 54s kent-mcleod:kent/smc2
kent-mcleod:kent/smc2
February 20, 2024 21:37 12m 54s
CMake: allow skipping include of settings.cmake seL4Test #160: Pull request #40 synchronize by axel-h
February 20, 2024 20:01 12m 43s axel-h:patch-axel-1
axel-h:patch-axel-1
February 20, 2024 20:01 12m 43s
aarch64,smc: Add tests for SMC cap behaviors seL4Test #159: Commit f1fa98c pushed by Indanz
February 19, 2024 21:30 12m 41s master
master
February 19, 2024 21:30 12m 41s
aarch64,smc: Add tests for SMC cap behaviors seL4Test #158: Pull request #101 synchronize by kent-mcleod
February 19, 2024 20:52 12m 51s kent-mcleod:kent/smc
kent-mcleod:kent/smc
February 19, 2024 20:52 12m 51s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test #157: Pull request #114 synchronize by Ivan-Velickovic
February 19, 2024 02:24 13m 4s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 19, 2024 02:24 13m 4s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test #156: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:07 12m 44s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:07 12m 44s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test #155: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:04 12m 41s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:04 12m 41s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test #154: Pull request #114 opened by Ivan-Velickovic
February 16, 2024 07:03 12m 57s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:03 12m 57s
CMake: allow skipping include of settings.cmake seL4Test #153: Pull request #40 synchronize by axel-h
February 9, 2024 13:09 12m 50s axel-h:patch-axel-1
axel-h:patch-axel-1
February 9, 2024 13:09 12m 50s
github: bump actions to node20 seL4Test #152: Commit dae2ff3 pushed by lsf37
February 7, 2024 23:38 14m 40s master
master
February 7, 2024 23:38 14m 40s
github: bump actions to node20 seL4Test #151: Pull request #113 opened by lsf37
February 7, 2024 05:02 12m 43s github-node20
github-node20
February 7, 2024 05:02 12m 43s
hw debug API: aarch64 sw break, single step tests seL4Test #150: Commit 0a488b9 pushed by Indanz
January 23, 2024 10:56 11m 58s master
master
January 23, 2024 10:56 11m 58s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test #149: Pull request #111 synchronize by alwin-joshy
January 23, 2024 10:51 11m 57s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 23, 2024 10:51 11m 57s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test #148: Pull request #111 synchronize by alwin-joshy
January 23, 2024 00:59 11m 59s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 23, 2024 00:59 11m 59s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test #147: Pull request #111 synchronize by alwin-joshy
January 22, 2024 02:51 11m 48s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 22, 2024 02:51 11m 48s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test #146: Pull request #111 synchronize by alwin-joshy
January 22, 2024 02:48 12m 0s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 22, 2024 02:48 12m 0s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test #145: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:28 11m 48s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 15, 2024 06:28 11m 48s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test #144: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:28 11m 58s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 15, 2024 06:28 11m 58s