Skip to content

Actions: seL4/sel4test

Actions

seL4Test-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

vspace004: allocate a cap for the final pool seL4Test-HW #126: Pull request #133 labeled by Indanz
February 12, 2025 11:43 In progress
February 12, 2025 11:43 In progress
vspace004: allocate a cap for the final pool seL4Test-HW #125: Pull request #133 synchronize by midnightveil
February 12, 2025 06:20 4s
February 12, 2025 06:20 4s
vspace004: allocate a cap for the final pool seL4Test-HW #124: Pull request #133 opened by midnightveil
February 12, 2025 06:20 5s
February 12, 2025 06:20 5s
dummy commit to test musl changes seL4Test-HW #123: Pull request #132 labeled by kent-mcleod
February 10, 2025 05:24 41m 14s
February 10, 2025 05:24 41m 14s
dummy commit to test musl changes seL4Test-HW #122: Pull request #132 labeled by kent-mcleod
February 10, 2025 05:24 2s
February 10, 2025 05:24 2s
dummy commit to test musl changes seL4Test-HW #121: Pull request #132 opened by kent-mcleod
February 10, 2025 04:53 6s
February 10, 2025 04:53 6s
Cheshire (CVA6) support seL4Test-HW #120: Pull request #129 synchronize by Ivan-Velickovic
February 4, 2025 05:16 4s
February 4, 2025 05:16 4s
Cheshire (CVA6) support seL4Test-HW #119: Pull request #129 synchronize by omeh-a
February 4, 2025 05:12 4s
February 4, 2025 05:12 4s
fix GettingStarted link for docsite update seL4Test-HW #118: Pull request #131 opened by lsf37
January 30, 2025 22:35 4s
January 30, 2025 22:35 4s
Use seL4_ASIDPoolMaxNewPools for number of ASIDs seL4Test-HW #117: Pull request #130 synchronize by midnightveil
January 29, 2025 02:38 4s
January 29, 2025 02:38 4s
Use seL4_ASIDPoolMaxNewPools for number of ASIDs seL4Test-HW #116: Pull request #130 opened by midnightveil
January 29, 2025 02:35 4s
January 29, 2025 02:35 4s
Cheshire (CVA6) support seL4Test-HW #115: Pull request #129 synchronize by omeh-a
January 17, 2025 05:39 4s
January 17, 2025 05:39 4s
Cheshire (CVA6) support seL4Test-HW #114: Pull request #129 opened by omeh-a
January 17, 2025 05:30 4s
January 17, 2025 05:30 4s
Speedup Tests seL4Test-HW #113: Pull request #128 labeled by Indanz
November 24, 2024 22:48 38m 3s
November 24, 2024 22:48 38m 3s
Speedup Tests seL4Test-HW #112: Pull request #128 synchronize by Indanz
November 24, 2024 22:28 21s
November 24, 2024 22:28 21s
Speedup Tests seL4Test-HW #111: Pull request #128 opened by Indanz
November 24, 2024 22:14 14m 11s
November 24, 2024 22:14 14m 11s
Speedup Tests seL4Test-HW #110: Pull request #128 labeled by Indanz
November 24, 2024 22:14 3s
November 24, 2024 22:14 3s
Speedup Tests seL4Test-HW #109: Pull request #128 labeled by Indanz
November 24, 2024 22:14 4s
November 24, 2024 22:14 4s
(don't merge) Remove const qualifiers from domain schedule variables seL4Test-HW #108: Pull request #126 opened by JE-Archer
September 6, 2024 05:18 5s
September 6, 2024 05:18 5s
add test for round robin threads seL4Test-HW #107: Pull request #125 synchronize by lsf37
July 26, 2024 01:41 1h 29m 16s
July 26, 2024 01:41 1h 29m 16s
add test for round robin threads seL4Test-HW #106: Pull request #125 synchronize by lsf37
July 25, 2024 09:16 3h 20m 30s
July 25, 2024 09:16 3h 20m 30s
add test for round robin threads seL4Test-HW #105: Pull request #125 synchronize by lsf37
July 25, 2024 04:38 3h 20m 8s
July 25, 2024 04:38 3h 20m 8s
add test for round robin threads seL4Test-HW #104: Pull request #125 labeled by lsf37
July 24, 2024 23:14 3h 21m 16s
July 24, 2024 23:14 3h 21m 16s
add test for round robin threads seL4Test-HW #103: Pull request #125 opened by lsf37
July 24, 2024 23:14 6s
July 24, 2024 23:14 6s
scheduler: resume does preempt seL4Test-HW #102: Pull request #124 labeled by lsf37
July 10, 2024 06:07 3h 15m 26s
July 10, 2024 06:07 3h 15m 26s