Skip to content

Actions: seL4/sel4test

Actions

seL4Test-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMC0001: Remove test of clobbered registers seL4Test-HW #63: Pull request #116 opened by kent-mcleod
February 20, 2024 21:37 6s
February 20, 2024 21:37 6s
CMake: allow skipping include of settings.cmake seL4Test-HW #62: Pull request #40 synchronize by axel-h
February 20, 2024 20:01 7s
February 20, 2024 20:01 7s
aarch64,smc: Add tests for SMC cap behaviors seL4Test-HW #61: Pull request #101 synchronize by kent-mcleod
February 19, 2024 20:52 5s
February 19, 2024 20:52 5s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test-HW #60: Pull request #114 synchronize by Ivan-Velickovic
February 19, 2024 02:24 6h 43m 39s
February 19, 2024 02:24 6h 43m 39s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test-HW #59: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:07 7h 13m 31s
February 16, 2024 07:07 7h 13m 31s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test-HW #58: Pull request #114 labeled by lsf37
February 16, 2024 07:05 6h 43m 32s
February 16, 2024 07:05 6h 43m 32s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test-HW #57: Pull request #114 synchronize by Ivan-Velickovic
February 16, 2024 07:04 5s
February 16, 2024 07:04 5s
Add a test for injecting an IRQ on a vCPU without a TCB associated seL4Test-HW #56: Pull request #114 opened by Ivan-Velickovic
February 16, 2024 07:03 6s
February 16, 2024 07:03 6s
CMake: allow skipping include of settings.cmake seL4Test-HW #55: Pull request #40 synchronize by axel-h
February 9, 2024 13:09 7s
February 9, 2024 13:09 7s
github: bump actions to node20 seL4Test-HW #54: Pull request #113 labeled by lsf37
February 7, 2024 05:02 4s
February 7, 2024 05:02 4s
github: bump actions to node20 seL4Test-HW #53: Pull request #113 opened by lsf37
February 7, 2024 05:02 5s
February 7, 2024 05:02 5s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #52: Pull request #111 synchronize by alwin-joshy
January 23, 2024 10:51 6h 49m 43s
January 23, 2024 10:51 6h 49m 43s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #51: Pull request #111 synchronize by alwin-joshy
January 23, 2024 00:59 23m 20s
January 23, 2024 00:59 23m 20s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #50: Pull request #111 labeled by Indanz
January 22, 2024 10:42 43m 41s
January 22, 2024 10:42 43m 41s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #49: Pull request #111 labeled by Indanz
January 22, 2024 10:42 3h 14m 0s
January 22, 2024 10:42 3h 14m 0s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #48: Pull request #111 synchronize by alwin-joshy
January 22, 2024 02:51 4s
January 22, 2024 02:51 4s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #47: Pull request #111 synchronize by alwin-joshy
January 22, 2024 02:48 4s
January 22, 2024 02:48 4s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #46: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:28 2s
January 15, 2024 06:28 2s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #45: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:28 3s
January 15, 2024 06:28 3s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #44: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:24 4s
January 15, 2024 06:24 4s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #43: Pull request #111 synchronize by alwin-joshy
January 15, 2024 06:24 3s
January 15, 2024 06:24 3s
Hardware debug API: Extend to aarch64 and add single stepping test seL4Test-HW #42: Pull request #111 opened by alwin-joshy
January 15, 2024 06:18 5s
January 15, 2024 06:18 5s
CI: simulation and HW build with LLVM on RISCV seL4Test-HW #41: Pull request #110 opened by axel-h
January 11, 2024 20:03 7s
January 11, 2024 20:03 7s
CMake: allow skipping include of settings.cmake seL4Test-HW #40: Pull request #40 synchronize by axel-h
November 10, 2023 13:01 6s
November 10, 2023 13:01 6s
Documentation fixes seL4Test-HW #39: Pull request #108 synchronize by axel-h
November 9, 2023 22:32 4s
November 9, 2023 22:32 4s