Skip to content

Actions: seL4/sel4test

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Cheshire (CVA6) support seL4Test #214: Pull request #129 opened by omeh-a
January 17, 2025 05:30 Action required omeh-a:cheshire
omeh-a:cheshire
January 17, 2025 05:30 Action required
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
Add tests for all of the ARM cache operations on all kinds of frame mappings. seL4Test #198: Pull request #94 synchronize by Ivan-Velickovic
June 18, 2024 02:20 10m 56s Ivan-Velickovic:arm_invalidate_test
Ivan-Velickovic:arm_invalidate_test
June 18, 2024 02:20 10m 56s
ipc: explicitly disable IPC0028 until fixed seL4Test #197: Commit 17cac54 pushed by lsf37
June 17, 2024 10:20 12m 38s master
master
June 17, 2024 10:20 12m 38s
ipc: re-enable test IPC0028 seL4Test #196: Pull request #123 opened by lsf37
June 17, 2024 10:13 12m 44s lsf37/IPC0028
lsf37/IPC0028
June 17, 2024 10:13 12m 44s
use config_set only for boolean config values seL4Test #195: Pull request #89 synchronize by lsf37
June 17, 2024 10:07 12m 38s lsf37/config_set
lsf37/config_set
June 17, 2024 10:07 12m 38s
remove explicit newline in ZF_LOGx() seL4Test #194: Commit 2587dda pushed by lsf37
June 17, 2024 05:32 12m 35s master
master
June 17, 2024 05:32 12m 35s