Skip to content

Actions: axel-h/seL4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-17a] python CI #4034: Pull request #38 synchronize by axel-h
November 10, 2024 17:28 28m 24s patch-axel-17a
patch-axel-17a
November 10, 2024 17:28 28m 24s
[patch-axel-17b] various clenaups CI #4033: Pull request #108 synchronize by axel-h
November 10, 2024 17:27 26m 29s patch-axel-17b
patch-axel-17b
November 10, 2024 17:27 26m 29s
[patch-axel-47] remove autoconf.h CI #4032: Pull request #151 synchronize by axel-h
November 10, 2024 17:23 27m 54s patch-axel-47
patch-axel-47
November 10, 2024 17:23 27m 54s
[patch-axel-76] cleanup syscall_stub_gen.py CI #4031: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 51m 59s patch-axel-76
patch-axel-76
November 10, 2024 16:54 51m 59s
[patch-axel-76a] WIP cleanup syscall_stub_gen.py CI #4030: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 48m 9s patch-axel-76a
patch-axel-76a
November 10, 2024 16:54 48m 9s
[atch-axel-93] make CONFIGURE_KERNEL_WCET generic CI #4029: Pull request #113 synchronize by axel-h
November 10, 2024 16:44 48m 14s patch-axel-93
patch-axel-93
November 10, 2024 16:44 48m 14s
Patch axel 13a CI #4028: Pull request #121 synchronize by axel-h
November 10, 2024 16:44 43m 57s patch-axel-13a
patch-axel-13a
November 10, 2024 16:44 43m 57s
[patch-axel-13] CMake: rework declare_platform() CI #4027: Pull request #89 synchronize by axel-h
November 10, 2024 16:44 37m 10s patch-axel-13
patch-axel-13
November 10, 2024 16:44 37m 10s
[patch-axel-28] cleanup risc-v CI #4026: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 32m 42s patch-axel-28
patch-axel-28
November 10, 2024 16:39 32m 42s
[patch-axel-85] arch ACME CI #4025: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 30m 5s patch-axel-85
patch-axel-85
November 10, 2024 16:39 30m 5s
[Patch axel 33] SMP lock CI #4024: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 22m 52s patch-axel-33
patch-axel-33
November 10, 2024 16:36 22m 52s
[patch-axel-56] arm/gic cleanup CI #4023: Pull request #129 synchronize by axel-h
November 10, 2024 16:35 21m 20s patch-axel-56
patch-axel-56
November 10, 2024 16:35 21m 20s
[patch-axel-18] CMake stuff and QEMU stuff CI #4022: Pull request #141 synchronize by axel-h
November 10, 2024 16:35 19m 35s patch-axel-18
patch-axel-18
November 10, 2024 16:35 19m 35s
[patch-axel-62] CI #4021: Pull request #167 synchronize by axel-h
November 10, 2024 16:34 18m 58s patch-axel-62
patch-axel-62
November 10, 2024 16:34 18m 58s
[patch-axel-58] fastpath cleanup CI #4020: Pull request #133 synchronize by axel-h
November 10, 2024 16:33 13m 7s patch-axel-58
patch-axel-58
November 10, 2024 16:33 13m 7s
[patch-axel-26] inline RESET_CYCLES CI #4019: Pull request #125 synchronize by axel-h
November 10, 2024 16:33 8m 49s patch-axel-26
patch-axel-26
November 10, 2024 16:33 8m 49s
[patch-axel-47] remove autoconf.h CI #4018: Pull request #151 synchronize by axel-h
November 10, 2024 16:33 3m 14s patch-axel-47
patch-axel-47
November 10, 2024 16:33 3m 14s
Re-enabled PLIC for Ariane CI #4017: Commit 65825d4 pushed by axel-h
November 10, 2024 16:32 26s master
master
November 10, 2024 16:32 26s
[patch-axel-16a] fault handling CI #4016: Pull request #24 synchronize by axel-h
July 26, 2024 14:41 1m 54s patch-axel-16a
patch-axel-16a
July 26, 2024 14:41 1m 54s
[patch-axel-16b] improve debug CI #4015: Pull request #152 synchronize by axel-h
July 26, 2024 14:40 29s patch-axel-16b
patch-axel-16b
July 26, 2024 14:40 29s
[patch-axel-62] CI #4014: Pull request #167 synchronize by axel-h
July 22, 2024 17:18 18m 3s patch-axel-62
patch-axel-62
July 22, 2024 17:18 18m 3s
[patch-axel-58] fastpath cleanup CI #4013: Pull request #133 synchronize by axel-h
July 22, 2024 17:18 11m 4s patch-axel-58
patch-axel-58
July 22, 2024 17:18 11m 4s
[patch-axel-26] inline RESET_CYCLES CI #4012: Pull request #125 synchronize by axel-h
July 22, 2024 17:18 9m 53s patch-axel-26
patch-axel-26
July 22, 2024 17:18 9m 53s
[patch-axel-47] remove autoconf.h CI #4011: Pull request #151 synchronize by axel-h
July 22, 2024 17:17 5m 59s patch-axel-47
patch-axel-47
July 22, 2024 17:17 5m 59s
mcs: use local variable in postpone CI #4010: Commit c679fe7 pushed by axel-h
July 22, 2024 17:17 26s master
master
July 22, 2024 17:17 26s