Skip to content

Actions: axel-h/seL4

Actions

seL4Bench-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4bench-pr.yml
1,190 workflow runs
1,190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-17a] python seL4Bench-HW #2325: Pull request #38 synchronize by axel-h
November 10, 2024 17:28 6s
November 10, 2024 17:28 6s
[patch-axel-17b] various clenaups seL4Bench-HW #2324: Pull request #108 synchronize by axel-h
November 10, 2024 17:27 5s
November 10, 2024 17:27 5s
[patch-axel-47] remove autoconf.h seL4Bench-HW #2323: Pull request #151 synchronize by axel-h
November 10, 2024 17:23 5s
November 10, 2024 17:23 5s
[patch-axel-76] cleanup syscall_stub_gen.py seL4Bench-HW #2322: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 2s
November 10, 2024 16:54 2s
[patch-axel-76a] WIP cleanup syscall_stub_gen.py seL4Bench-HW #2321: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 5s
November 10, 2024 16:54 5s
[atch-axel-93] make CONFIGURE_KERNEL_WCET generic seL4Bench-HW #2320: Pull request #113 synchronize by axel-h
November 10, 2024 16:44 4s
November 10, 2024 16:44 4s
Patch axel 13a seL4Bench-HW #2319: Pull request #121 synchronize by axel-h
November 10, 2024 16:44 3s
November 10, 2024 16:44 3s
[patch-axel-13] CMake: rework declare_platform() seL4Bench-HW #2318: Pull request #89 synchronize by axel-h
November 10, 2024 16:44 7s
November 10, 2024 16:44 7s
[patch-axel-28] cleanup risc-v seL4Bench-HW #2317: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 3s
November 10, 2024 16:39 3s
[patch-axel-85] arch ACME seL4Bench-HW #2316: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 6s
November 10, 2024 16:39 6s
[Patch axel 33] SMP lock seL4Bench-HW #2315: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 6s
November 10, 2024 16:36 6s
[patch-axel-56] arm/gic cleanup seL4Bench-HW #2314: Pull request #129 synchronize by axel-h
November 10, 2024 16:35 3s
November 10, 2024 16:35 3s
[patch-axel-18] CMake stuff and QEMU stuff seL4Bench-HW #2313: Pull request #141 synchronize by axel-h
November 10, 2024 16:35 6s
November 10, 2024 16:35 6s
[patch-axel-62] seL4Bench-HW #2312: Pull request #167 synchronize by axel-h
November 10, 2024 16:34 3s
November 10, 2024 16:34 3s
[patch-axel-58] fastpath cleanup seL4Bench-HW #2311: Pull request #133 synchronize by axel-h
November 10, 2024 16:33 4s
November 10, 2024 16:33 4s
[patch-axel-26] inline RESET_CYCLES seL4Bench-HW #2310: Pull request #125 synchronize by axel-h
November 10, 2024 16:33 3s
November 10, 2024 16:33 3s
[patch-axel-47] remove autoconf.h seL4Bench-HW #2309: Pull request #151 synchronize by axel-h
November 10, 2024 16:33 7s
November 10, 2024 16:33 7s
[patch-axel-16a] fault handling seL4Bench-HW #2308: Pull request #24 synchronize by axel-h
July 26, 2024 14:41 7s
July 26, 2024 14:41 7s
[patch-axel-16b] improve debug seL4Bench-HW #2307: Pull request #152 synchronize by axel-h
July 26, 2024 14:40 10s
July 26, 2024 14:40 10s
[patch-axel-62] seL4Bench-HW #2306: Pull request #167 synchronize by axel-h
July 22, 2024 17:18 7s
July 22, 2024 17:18 7s
[patch-axel-58] fastpath cleanup seL4Bench-HW #2305: Pull request #133 synchronize by axel-h
July 22, 2024 17:18 18s
July 22, 2024 17:18 18s
[patch-axel-26] inline RESET_CYCLES seL4Bench-HW #2304: Pull request #125 synchronize by axel-h
July 22, 2024 17:18 19s
July 22, 2024 17:18 19s
[patch-axel-47] remove autoconf.h seL4Bench-HW #2303: Pull request #151 synchronize by axel-h
July 22, 2024 17:17 10s
July 22, 2024 17:17 10s
[patch-axel-62] seL4Bench-HW #2302: Pull request #167 synchronize by axel-h
July 18, 2024 08:09 6s
July 18, 2024 08:09 6s
[patch-axel-58] fastpath cleanup seL4Bench-HW #2301: Pull request #133 synchronize by axel-h
July 18, 2024 08:08 5s
July 18, 2024 08:08 5s