Skip to content

Actions: seL4/sel4test

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CMake: allow skipping include of settings.cmake CI #169: Pull request #40 synchronize by axel-h
November 10, 2023 13:01 1m 35s axel-h:patch-axel-1
axel-h:patch-axel-1
November 10, 2023 13:01 1m 35s
fix description, the time slice is 100 ms CI #168: Commit ab91891 pushed by Indanz
November 10, 2023 12:55 36s master
master
November 10, 2023 12:55 36s
Documentation fixes CI #167: Pull request #108 synchronize by axel-h
November 9, 2023 22:32 35s axel-h:patch-axel-2
axel-h:patch-axel-2
November 9, 2023 22:32 35s
Documentation fixes CI #166: Pull request #108 opened by axel-h
November 9, 2023 22:18 37s axel-h:patch-axel-2
axel-h:patch-axel-2
November 9, 2023 22:18 37s
SCHED0021: allow for simulation tests again CI #165: Pull request #106 synchronize by lsf37
October 28, 2023 22:14 42s lsf37/sched0021-sim
lsf37/sched0021-sim
October 28, 2023 22:14 42s
SCHED0021: allow for simulation tests again CI #164: Pull request #106 opened by lsf37
October 28, 2023 22:12 33s lsf37/sched0021-sim
lsf37/sched0021-sim
October 28, 2023 22:12 33s
SCHED0021: decrease chances of a race condition CI #163: Commit e7d9607 pushed by Indanz
October 27, 2023 10:13 39s master
master
October 27, 2023 10:13 39s
SCHED0021: decrease chances of a race condition CI #162: Pull request #105 opened by lsf37
October 27, 2023 01:36 38s lsf37/sched0021
lsf37/sched0021
October 27, 2023 01:36 38s
settings: Disable timer tests for RocketChip CI #161: Pull request #104 opened by Ivan-Velickovic
October 23, 2023 04:03 34s Ivan-Velickovic:disable_rocketchip_timer_tests
Ivan-Velickovic:disable_rocketchip_timer_tests
October 23, 2023 04:03 34s