Skip to content

Actions: axel-h/seL4

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
1,186 workflow runs
1,186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-17a] python PR #3638: Pull request #38 synchronize by axel-h
November 10, 2024 17:28 31m 4s patch-axel-17a
patch-axel-17a
November 10, 2024 17:28 31m 4s
[patch-axel-17b] various clenaups PR #3637: Pull request #108 synchronize by axel-h
November 10, 2024 17:27 28m 6s patch-axel-17b
patch-axel-17b
November 10, 2024 17:27 28m 6s
[patch-axel-47] remove autoconf.h PR #3636: Pull request #151 synchronize by axel-h
November 10, 2024 17:23 27m 50s patch-axel-47
patch-axel-47
November 10, 2024 17:23 27m 50s
[patch-axel-76] cleanup syscall_stub_gen.py PR #3635: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 53m 3s patch-axel-76
patch-axel-76
November 10, 2024 16:54 53m 3s
[patch-axel-76a] WIP cleanup syscall_stub_gen.py PR #3634: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 50m 25s patch-axel-76a
patch-axel-76a
November 10, 2024 16:54 50m 25s
[atch-axel-93] make CONFIGURE_KERNEL_WCET generic PR #3633: Pull request #113 synchronize by axel-h
November 10, 2024 16:44 48m 35s patch-axel-93
patch-axel-93
November 10, 2024 16:44 48m 35s
Patch axel 13a PR #3632: Pull request #121 synchronize by axel-h
November 10, 2024 16:44 44m 9s patch-axel-13a
patch-axel-13a
November 10, 2024 16:44 44m 9s
[patch-axel-13] CMake: rework declare_platform() PR #3631: Pull request #89 synchronize by axel-h
November 10, 2024 16:44 37m 17s patch-axel-13
patch-axel-13
November 10, 2024 16:44 37m 17s
[patch-axel-28] cleanup risc-v PR #3630: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 35m 39s patch-axel-28
patch-axel-28
November 10, 2024 16:39 35m 39s
[patch-axel-85] arch ACME PR #3629: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 30m 32s patch-axel-85
patch-axel-85
November 10, 2024 16:39 30m 32s
[Patch axel 33] SMP lock PR #3628: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 23m 58s patch-axel-33
patch-axel-33
November 10, 2024 16:36 23m 58s
[patch-axel-56] arm/gic cleanup PR #3627: Pull request #129 synchronize by axel-h
November 10, 2024 16:35 23m 4s patch-axel-56
patch-axel-56
November 10, 2024 16:35 23m 4s
[patch-axel-18] CMake stuff and QEMU stuff PR #3626: Pull request #141 synchronize by axel-h
November 10, 2024 16:35 21m 27s patch-axel-18
patch-axel-18
November 10, 2024 16:35 21m 27s
[patch-axel-62] PR #3625: Pull request #167 synchronize by axel-h
November 10, 2024 16:34 19m 5s patch-axel-62
patch-axel-62
November 10, 2024 16:34 19m 5s
[patch-axel-58] fastpath cleanup PR #3624: Pull request #133 synchronize by axel-h
November 10, 2024 16:33 13m 43s patch-axel-58
patch-axel-58
November 10, 2024 16:33 13m 43s
[patch-axel-26] inline RESET_CYCLES PR #3623: Pull request #125 synchronize by axel-h
November 10, 2024 16:33 9m 22s patch-axel-26
patch-axel-26
November 10, 2024 16:33 9m 22s
[patch-axel-47] remove autoconf.h PR #3622: Pull request #151 synchronize by axel-h
November 10, 2024 16:33 7m 14s patch-axel-47
patch-axel-47
November 10, 2024 16:33 7m 14s
[patch-axel-16a] fault handling PR #3621: Pull request #24 synchronize by axel-h
July 26, 2024 14:41 2m 24s patch-axel-16a
patch-axel-16a
July 26, 2024 14:41 2m 24s
[patch-axel-16b] improve debug PR #3620: Pull request #152 synchronize by axel-h
July 26, 2024 14:40 1m 22s patch-axel-16b
patch-axel-16b
July 26, 2024 14:40 1m 22s
[patch-axel-62] PR #3619: Pull request #167 synchronize by axel-h
July 22, 2024 17:18 21m 3s patch-axel-62
patch-axel-62
July 22, 2024 17:18 21m 3s
[patch-axel-58] fastpath cleanup PR #3618: Pull request #133 synchronize by axel-h
July 22, 2024 17:18 13m 55s patch-axel-58
patch-axel-58
July 22, 2024 17:18 13m 55s
[patch-axel-26] inline RESET_CYCLES PR #3617: Pull request #125 synchronize by axel-h
July 22, 2024 17:18 10m 49s patch-axel-26
patch-axel-26
July 22, 2024 17:18 10m 49s
[patch-axel-47] remove autoconf.h PR #3616: Pull request #151 synchronize by axel-h
July 22, 2024 17:17 5m 45s patch-axel-47
patch-axel-47
July 22, 2024 17:17 5m 45s
[patch-axel-ci-test] dummy change PR #3615: Pull request #147 synchronize by axel-h
July 18, 2024 14:08 29s patch-axel-ci-test
patch-axel-ci-test
July 18, 2024 14:08 29s
[patch-axel-62] PR #3614: Pull request #167 synchronize by axel-h
July 18, 2024 08:09 27m 49s patch-axel-62
patch-axel-62
July 18, 2024 08:09 27m 49s