Skip to content

Actions: seL4/sel4test

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CMake: allow skipping include of settings.cmake PR #131: Pull request #40 synchronize by axel-h
November 10, 2023 13:01 29s axel-h:patch-axel-1
axel-h:patch-axel-1
November 10, 2023 13:01 29s
Documentation fixes PR #130: Pull request #108 synchronize by axel-h
November 9, 2023 22:32 22s axel-h:patch-axel-2
axel-h:patch-axel-2
November 9, 2023 22:32 22s
Documentation fixes PR #129: Pull request #108 opened by axel-h
November 9, 2023 22:18 30s axel-h:patch-axel-2
axel-h:patch-axel-2
November 9, 2023 22:18 30s