Skip to content

Actions: axel-h/seL4

Actions

seL4Bench-HW

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4bench-pr.yml
859 workflow runs
859 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-58] fastpath cleanup seL4Bench-HW #2225: Pull request #133 synchronize by axel-h
June 28, 2024 13:49 5s
June 28, 2024 13:49 5s
[patch-axel-18] CMake stuff and QEMU stuff seL4Bench-HW #2224: Pull request #141 synchronize by axel-h
June 28, 2024 13:48 5s
June 28, 2024 13:48 5s
[patch-axel-26] inline RESET_CYCLES seL4Bench-HW #2223: Pull request #125 synchronize by axel-h
June 28, 2024 13:47 3s
June 28, 2024 13:47 3s
[patch-axel-52] seL4Bench-HW #2222: Pull request #166 labeled by axel-h
June 28, 2024 13:47 7s
June 28, 2024 13:47 7s
[patch-axel-52] seL4Bench-HW #2221: Pull request #166 opened by axel-h
June 28, 2024 13:47 7s
June 28, 2024 13:47 7s
[patch-axel-97a] remove unnecessary include platform_gen.h.in seL4Bench-HW #2220: Pull request #126 synchronize by axel-h
June 20, 2024 16:51 9s
June 20, 2024 16:51 9s
Patch axel 13a seL4Bench-HW #2219: Pull request #121 synchronize by axel-h
June 20, 2024 14:00 8s
June 20, 2024 14:00 8s
[patch-axel-13] CMake: rework declare_platform() seL4Bench-HW #2218: Pull request #89 synchronize by axel-h
June 20, 2024 14:00 6s
June 20, 2024 14:00 6s
[patch-axel-28] cleanup risc-v seL4Bench-HW #2217: Pull request #68 synchronize by axel-h
June 20, 2024 13:49 6s
June 20, 2024 13:49 6s
[patch-axel-34] mypy seL4Bench-HW #2216: Pull request #158 synchronize by axel-h
June 20, 2024 13:49 4s
June 20, 2024 13:49 4s
[patch-axel-16a] fault handling seL4Bench-HW #2215: Pull request #24 synchronize by axel-h
June 20, 2024 13:47 4s
June 20, 2024 13:47 4s
[patch-axel-16b] improve debug seL4Bench-HW #2214: Pull request #152 synchronize by axel-h
June 20, 2024 13:47 6s
June 20, 2024 13:47 6s
[patch-axel-85] arch ACME seL4Bench-HW #2213: Pull request #74 synchronize by axel-h
June 20, 2024 13:46 4s
June 20, 2024 13:46 4s
[patch-axel-47] remove autoconf.h seL4Bench-HW #2212: Pull request #151 synchronize by axel-h
June 20, 2024 13:45 6s
June 20, 2024 13:45 6s
[patch-axel-35]: cleanup benchmark seL4Bench-HW #2211: Pull request #28 synchronize by axel-h
June 20, 2024 13:41 6s
June 20, 2024 13:41 6s
[kernel-debug-log] Kernel debug log seL4Bench-HW #2210: Pull request #25 synchronize by axel-h
June 20, 2024 13:41 6s
June 20, 2024 13:41 6s
[patch-axel-67] slot setup during boot seL4Bench-HW #2209: Pull request #47 synchronize by axel-h
June 20, 2024 13:39 2s
June 20, 2024 13:39 2s
[patch-axel-67] slot setup during boot seL4Bench-HW #2208: Pull request #47 synchronize by axel-h
June 20, 2024 13:39 4s
June 20, 2024 13:39 4s
[patch-axel-91] python clenaup seL4Bench-HW #2207: Pull request #130 synchronize by axel-h
June 20, 2024 13:34 5s
June 20, 2024 13:34 5s
[Patch axel 33] SMP lock seL4Bench-HW #2206: Pull request #73 synchronize by axel-h
June 20, 2024 13:33 6s
June 20, 2024 13:33 6s
[patch-axel-56] arm/gic cleanup seL4Bench-HW #2205: Pull request #129 synchronize by axel-h
June 20, 2024 13:32 5s
June 20, 2024 13:32 5s
[patch-axel-58] fastpath cleanup seL4Bench-HW #2204: Pull request #133 synchronize by axel-h
June 20, 2024 13:31 6s
June 20, 2024 13:31 6s
[patch-axel-18] CMake stuff and QEMU stuff seL4Bench-HW #2203: Pull request #141 synchronize by axel-h
June 20, 2024 13:27 4s
June 20, 2024 13:27 4s
[patch-axel-25] CI: add mypy for type checking of python scripts seL4Bench-HW #2202: Pull request #156 synchronize by axel-h
June 20, 2024 13:25 3s
June 20, 2024 13:25 3s
[patch-axel-11a] MyPy seL4Bench-HW #2201: Pull request #154 synchronize by axel-h
June 20, 2024 13:25 3s
June 20, 2024 13:25 3s