Skip to content

Actions: seL4/sel4test

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

aarch64,smc: Add tests for SMC cap behaviors PR #148: Pull request #101 synchronize by kent-mcleod
February 19, 2024 20:52 23s kent-mcleod:kent/smc
kent-mcleod:kent/smc
February 19, 2024 20:52 23s
Add a test for injecting an IRQ on a vCPU without a TCB associated PR #147: 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 PR #146: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:07 24s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:07 24s
Add a test for injecting an IRQ on a vCPU without a TCB associated PR #145: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:04 24s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:04 24s
Add a test for injecting an IRQ on a vCPU without a TCB associated PR #144: Pull request #114 opened by Ivan-Velickovic
February 16, 2024 07:03 29s Ivan-Velickovic:sel4_1199_reproduce
Ivan-Velickovic:sel4_1199_reproduce
February 16, 2024 07:03 29s
CMake: allow skipping include of settings.cmake PR #143: Pull request #40 synchronize by axel-h
February 9, 2024 13:09 23s axel-h:patch-axel-1
axel-h:patch-axel-1
February 9, 2024 13:09 23s
github: bump actions to node20 PR #142: Pull request #113 opened by lsf37
February 7, 2024 05:02 26s github-node20
github-node20
February 7, 2024 05:02 26s
Hardware debug API: Extend to aarch64 and add single stepping test PR #141: Pull request #111 synchronize by alwin-joshy
January 23, 2024 10:51 23s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 23, 2024 10:51 23s
Hardware debug API: Extend to aarch64 and add single stepping test PR #140: Pull request #111 synchronize by alwin-joshy
January 23, 2024 00:59 19s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 23, 2024 00:59 19s
Hardware debug API: Extend to aarch64 and add single stepping test PR #139: Pull request #111 synchronize by alwin-joshy
January 22, 2024 02:51 22s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 22, 2024 02:51 22s
Hardware debug API: Extend to aarch64 and add single stepping test PR #138: Pull request #111 synchronize by alwin-joshy
January 22, 2024 02:48 25s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 22, 2024 02:48 25s
Hardware debug API: Extend to aarch64 and add single stepping test PR #137: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:28 28s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 15, 2024 06:28 28s
Hardware debug API: Extend to aarch64 and add single stepping test PR #136: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:28 20s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 15, 2024 06:28 20s
Hardware debug API: Extend to aarch64 and add single stepping test PR #135: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:24 18s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 15, 2024 06:24 18s
Hardware debug API: Extend to aarch64 and add single stepping test PR #134: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:24 19s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 15, 2024 06:24 19s
Hardware debug API: Extend to aarch64 and add single stepping test PR #133: Pull request #111 opened by alwin-joshy
January 15, 2024 06:18 20s alwin-joshy:hardware_debug_api
alwin-joshy:hardware_debug_api
January 15, 2024 06:18 20s
CI: simulation and HW build with LLVM on RISCV PR #132: Pull request #110 opened by axel-h
January 11, 2024 20:03 20s axel-h:patch-axel-4
axel-h:patch-axel-4
January 11, 2024 20:03 20s