Skip to content

Actions: seL4/seL4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
1,129 workflow runs
1,129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

configs: add remaining aarch64 plaforms for verification CI #6126: Pull request #1373 synchronize by lsf37
January 5, 2025 22:27 18s lsf37/aarch64-platforms
lsf37/aarch64-platforms
January 5, 2025 22:27 18s
configs: add remaining aarch64 plaforms for verification CI #6125: Pull request #1373 synchronize by lsf37
January 5, 2025 22:25 21s lsf37/aarch64-platforms
lsf37/aarch64-platforms
January 5, 2025 22:25 21s
configs: add remaining aarch64 plaforms for verification CI #6124: Pull request #1373 opened by lsf37
January 5, 2025 22:19 23s lsf37/aarch64-platforms
lsf37/aarch64-platforms
January 5, 2025 22:19 23s
aarch64: fix building with clang-18 CI #6123: Pull request #1372 synchronize by cl91
December 25, 2024 02:04 23s cl91:arm64-clang-fix
cl91:arm64-clang-fix
December 25, 2024 02:04 23s
aarch64: fix building with clang-18 CI #6122: Pull request #1372 synchronize by cl91
December 24, 2024 12:16 24s cl91:arm64-clang-fix
cl91:arm64-clang-fix
December 24, 2024 12:16 24s
aarch64: fix building with clang-18 CI #6121: Pull request #1372 synchronize by Indanz
December 24, 2024 11:56 23s cl91:arm64-clang-fix
cl91:arm64-clang-fix
December 24, 2024 11:56 23s
hifive: reflect lower TIMER_PRECISION in config CI #6120: Pull request #1366 synchronize by lsf37
December 20, 2024 00:32 22s lsf37/riscv-clock-test
lsf37/riscv-clock-test
December 20, 2024 00:32 22s
arm,gic_v3: consolidate types for verification CI #6119: Pull request #1337 synchronize by lsf37
December 20, 2024 00:09 21s lsf37/gic-v3-types
lsf37/gic-v3-types
December 20, 2024 00:09 21s
aarch64: fix building with clang-18 CI #6118: Pull request #1372 synchronize by cl91
December 19, 2024 15:37 25s cl91:arm64-clang-fix
cl91:arm64-clang-fix
December 19, 2024 15:37 25s
aarch64: fix building with clang-18 CI #6117: Pull request #1372 opened by cl91
December 19, 2024 15:34 26s cl91:arm64-clang-fix
cl91:arm64-clang-fix
December 19, 2024 15:34 26s
github: pin Ubuntu 22.04 for deployment step CI #6116: Commit 1732c05 pushed by lsf37
December 19, 2024 06:42 1m 19s master
master
December 19, 2024 06:42 1m 19s
github: pin Ubuntu 22.04 for deployment step CI #6115: Pull request #1371 synchronize by lsf37
December 19, 2024 06:36 1m 33s lsf37/ubuntu
lsf37/ubuntu
December 19, 2024 06:36 1m 33s
github: pin Ubuntu 22.04 for deployment step CI #6114: Pull request #1371 opened by lsf37
December 19, 2024 06:30 18s lsf37/ubuntu
lsf37/ubuntu
December 19, 2024 06:30 18s
mcs: refactor refill_budget_check CI #6113: Commit 84163bd pushed by lsf37
December 19, 2024 05:35 21s master
master
December 19, 2024 05:35 21s
mcs: refactor refill_budget_check to ease verification CI #6112: Pull request #1323 synchronize by lsf37
December 19, 2024 05:04 22s michaelm/refactor_rbc
michaelm/refactor_rbc
December 19, 2024 05:04 22s
boot: clear freeIndex of memory untypeds CI #6111: Pull request #1370 opened by yf13
December 19, 2024 03:03 35s yf13:untyped
yf13:untyped
December 19, 2024 03:03 35s
drop !! operator CI #6110: Pull request #1369 opened by yf13
December 19, 2024 02:25 16m 22s yf13:untyped
yf13:untyped
December 19, 2024 02:25 16m 22s
tqma: remove virtualisation project settings CI #6109: Commit ae077fd pushed by lsf37
December 19, 2024 00:48 5m 54s master
master
December 19, 2024 00:48 5m 54s
tqma: remove virtualisation project settings CI #6108: Pull request #1367 synchronize by lsf37
December 19, 2024 00:06 30s lsf37/tqma
lsf37/tqma
December 19, 2024 00:06 30s
github: pin style check to ubuntu-22.04 CI #6107: Commit 7d49356 pushed by lsf37
December 19, 2024 00:05 20s master
master
December 19, 2024 00:05 20s
github: pin style check to ubuntu-22.04 CI #6106: Pull request #1368 opened by lsf37
December 18, 2024 23:59 18s lsf37/github-set-os
lsf37/github-set-os
December 18, 2024 23:59 18s
hifive: reflect lower TIMER_PRECISION in config CI #6105: Pull request #1366 synchronize by lsf37
December 18, 2024 23:55 24s lsf37/riscv-clock-test
lsf37/riscv-clock-test
December 18, 2024 23:55 24s
tqma: remove virtualisation project settings CI #6104: Pull request #1367 opened by lsf37
December 18, 2024 23:42 1m 21s lsf37/tqma
lsf37/tqma
December 18, 2024 23:42 1m 21s
hifive: reflect lower TIMER_PRECISION in config CI #6103: Pull request #1366 opened by lsf37
December 18, 2024 23:29 22s lsf37/riscv-clock-test
lsf37/riscv-clock-test
December 18, 2024 23:29 22s
Add i.MX93 SoC support CI #6102: Commit b7ce213 pushed by lsf37
December 18, 2024 05:41 28s master
master
December 18, 2024 05:41 28s