Skip to content

Actions: seL4/sel4test

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

vspace004: allocate a cap for the final pool seL4Test #225: Pull request #133 synchronize by midnightveil
February 12, 2025 06:20 9m 30s midnightveil:asidpool-test-fix
midnightveil:asidpool-test-fix
February 12, 2025 06:20 9m 30s
vspace004: allocate a cap for the final pool seL4Test #224: Pull request #133 opened by midnightveil
February 12, 2025 06:20 Action required midnightveil:asidpool-test-fix
midnightveil:asidpool-test-fix
February 12, 2025 06:20 Action required
dummy commit to test musl changes seL4Test #223: Pull request #132 opened by kent-mcleod
February 10, 2025 04:53 9m 46s kent-mcleod:kent/musl
kent-mcleod:kent/musl
February 10, 2025 04:53 9m 46s
Added flags for Cheshire platform (#129) seL4Test #222: Commit 3583555 pushed by Ivan-Velickovic
February 4, 2025 05:20 9m 19s master
master
February 4, 2025 05:20 9m 19s
Cheshire (CVA6) support seL4Test #221: Pull request #129 synchronize by Ivan-Velickovic
February 4, 2025 05:16 9m 51s omeh-a:cheshire
omeh-a:cheshire
February 4, 2025 05:16 9m 51s
Cheshire (CVA6) support seL4Test #220: Pull request #129 synchronize by omeh-a
February 4, 2025 05:12 3m 28s omeh-a:cheshire
omeh-a:cheshire
February 4, 2025 05:12 3m 28s
README: fix markdown lints seL4Test #219: Commit e879d7d pushed by Indanz
January 31, 2025 12:57 9m 29s master
master
January 31, 2025 12:57 9m 29s
fix GettingStarted link for docsite update seL4Test #218: Pull request #131 opened by lsf37
January 30, 2025 22:36 9m 43s lsf37/readme
lsf37/readme
January 30, 2025 22:36 9m 43s
Use seL4_ASIDPoolMaxNewPools for number of ASIDs seL4Test #216: Pull request #130 opened by midnightveil
January 29, 2025 02:35 Action required midnightveil:constant-seL4_ASIDPoolMaxNewPools
midnightveil:constant-seL4_ASIDPoolMaxNewPools
January 29, 2025 02:35 Action required
Cheshire (CVA6) support seL4Test #215: Pull request #129 synchronize by omeh-a
January 17, 2025 05:39 9m 32s omeh-a:cheshire
omeh-a:cheshire
January 17, 2025 05:39 9m 32s
Improve periodic_thread counter check seL4Test #213: Commit d89ce01 pushed by Indanz
November 26, 2024 23:45 9m 37s master
master
November 26, 2024 23:45 9m 37s
Speedup Tests seL4Test #212: Pull request #128 synchronize by Indanz
November 24, 2024 22:28 9m 29s Indanz:speedup
Indanz:speedup
November 24, 2024 22:28 9m 29s
Speedup Tests seL4Test #211: Pull request #128 opened by Indanz
November 24, 2024 22:14 1m 54s Indanz:speedup
Indanz:speedup
November 24, 2024 22:14 1m 54s
(don't merge) Remove const qualifiers from domain schedule variables seL4Test #210: Pull request #126 opened by JE-Archer
September 6, 2024 05:18 1m 37s JE-Archer:non_const_domains
JE-Archer:non_const_domains
September 6, 2024 05:18 1m 37s
add test for round robin threads seL4Test #209: Pull request #125 synchronize by lsf37
July 26, 2024 01:41 12m 48s round-robin
round-robin
July 26, 2024 01:41 12m 48s
add test for round robin threads seL4Test #208: Pull request #125 synchronize by lsf37
July 25, 2024 09:16 12m 39s round-robin
round-robin
July 25, 2024 09:16 12m 39s
add test for round robin threads seL4Test #207: Pull request #125 synchronize by lsf37
July 25, 2024 04:38 12m 41s round-robin
round-robin
July 25, 2024 04:38 12m 41s
add test for round robin threads seL4Test #206: Pull request #125 opened by lsf37
July 24, 2024 23:14 12m 41s round-robin
round-robin
July 24, 2024 23:14 12m 41s
scheduler: resume does preempt seL4Test #205: Commit fe4839e pushed by lsf37
July 12, 2024 06:42 12m 27s master
master
July 12, 2024 06:42 12m 27s
scheduler: resume does preempt seL4Test #204: Pull request #124 opened by lsf37
July 10, 2024 06:06 13m 53s resume-test
resume-test
July 10, 2024 06:06 13m 53s
Add tests for all of the ARM cache operations on all kinds of frame mappings. seL4Test #203: Pull request #94 synchronize by lsf37
July 3, 2024 04:29 12m 34s Ivan-Velickovic:arm_invalidate_test
Ivan-Velickovic:arm_invalidate_test
July 3, 2024 04:29 12m 34s
Add tests for all of the ARM cache operations on all kinds of frame mappings. seL4Test #202: Pull request #94 synchronize by lsf37
June 20, 2024 07:16 12m 36s Ivan-Velickovic:arm_invalidate_test
Ivan-Velickovic:arm_invalidate_test
June 20, 2024 07:16 12m 36s
ipc: re-enable test IPC0028 seL4Test #201: Pull request #123 synchronize by lsf37
June 19, 2024 21:04 12m 48s lsf37/IPC0028
lsf37/IPC0028
June 19, 2024 21:04 12m 48s
CMake: allow skipping include of settings.cmake seL4Test #200: Pull request #40 synchronize by lsf37
June 18, 2024 09:00 12m 44s axel-h:patch-axel-1
axel-h:patch-axel-1
June 18, 2024 09:00 12m 44s
Add tests for all of the ARM cache operations on all kinds of frame mappings. seL4Test #199: Pull request #94 synchronize by Ivan-Velickovic
June 18, 2024 02:31 12m 50s Ivan-Velickovic:arm_invalidate_test
Ivan-Velickovic:arm_invalidate_test
June 18, 2024 02:31 12m 50s