Skip to content

Actions: axel-h/seL4

Actions

Compile

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compilation-checks.yml
1,787 workflow runs
1,787 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-16a] fault handling Compile #3794: Pull request #24 synchronize by axel-h
July 12, 2024 18:02 2m 25s patch-axel-16a
patch-axel-16a
July 12, 2024 18:02 2m 25s
[patch-axel-16a] fault handling Compile #3793: Pull request #24 synchronize by axel-h
July 12, 2024 17:55 1m 24s patch-axel-16a
patch-axel-16a
July 12, 2024 17:55 1m 24s
[patch-axel-62] Compile #3792: Pull request #167 synchronize by axel-h
July 12, 2024 15:06 1m 30s patch-axel-62
patch-axel-62
July 12, 2024 15:06 1m 30s
[patch-axel-16b] improve debug Compile #3791: Pull request #152 synchronize by axel-h
July 12, 2024 14:52 2m 46s patch-axel-16b
patch-axel-16b
July 12, 2024 14:52 2m 46s
[patch-axel-62] Compile #3790: Pull request #167 synchronize by axel-h
July 12, 2024 14:38 1m 31s patch-axel-62
patch-axel-62
July 12, 2024 14:38 1m 31s
[patch-axel-62] Compile #3789: Pull request #167 synchronize by axel-h
July 12, 2024 13:34 1m 27s patch-axel-62
patch-axel-62
July 12, 2024 13:34 1m 27s
[patch-axel-58] fastpath cleanup Compile #3788: Pull request #133 synchronize by axel-h
July 12, 2024 13:11 12m 54s patch-axel-58
patch-axel-58
July 12, 2024 13:11 12m 54s
[patch-axel-26] inline RESET_CYCLES Compile #3787: Pull request #125 synchronize by axel-h
July 12, 2024 13:11 6m 15s patch-axel-26
patch-axel-26
July 12, 2024 13:11 6m 15s
[patch-axel-47] remove autoconf.h Compile #3786: Pull request #151 synchronize by axel-h
July 12, 2024 13:10 3m 47s patch-axel-47
patch-axel-47
July 12, 2024 13:10 3m 47s
[patch-axel-62] Compile #3785: Pull request #167 synchronize by axel-h
July 12, 2024 13:10 2m 42s patch-axel-62
patch-axel-62
July 12, 2024 13:10 2m 42s
sel4-deps: tighten deps; update instructions Compile #3784: Commit 619a310 pushed by axel-h
July 12, 2024 12:54 2m 43s master
master
July 12, 2024 12:54 2m 43s
configs: add zynqmp and rpi4 to verified platforms Compile #3783: Commit 4b7c2a3 pushed by axel-h
July 8, 2024 10:15 2m 37s master
master
July 8, 2024 10:15 2m 37s
[patch-axel-35]: cleanup benchmark Compile #3782: Pull request #28 synchronize by axel-h
July 8, 2024 10:13 3m 31s patch-axel-35
patch-axel-35
July 8, 2024 10:13 3m 31s
[kernel-debug-log] Kernel debug log Compile #3781: Pull request #25 synchronize by axel-h
July 8, 2024 10:11 2m 19s kernel-debug-log
kernel-debug-log
July 8, 2024 10:11 2m 19s
[kernel-debug-log] Kernel debug log Compile #3780: Pull request #25 synchronize by axel-h
July 8, 2024 09:59 4m 40s kernel-debug-log
kernel-debug-log
July 8, 2024 09:59 4m 40s
[patch-axel-35]: cleanup benchmark Compile #3779: Pull request #28 synchronize by axel-h
July 8, 2024 09:59 1m 27s patch-axel-35
patch-axel-35
July 8, 2024 09:59 1m 27s
[patch-axel-35]: cleanup benchmark Compile #3778: Pull request #28 synchronize by axel-h
July 5, 2024 13:23 3m 46s patch-axel-35
patch-axel-35
July 5, 2024 13:23 3m 46s
[kernel-debug-log] Kernel debug log Compile #3777: Pull request #25 synchronize by axel-h
July 5, 2024 13:22 1m 18s kernel-debug-log
kernel-debug-log
July 5, 2024 13:22 1m 18s
[patch-axel-35]: cleanup benchmark Compile #3776: Pull request #28 synchronize by axel-h
July 5, 2024 13:17 2m 57s patch-axel-35
patch-axel-35
July 5, 2024 13:17 2m 57s
[kernel-debug-log] Kernel debug log Compile #3775: Pull request #25 synchronize by axel-h
July 5, 2024 13:16 1m 19s kernel-debug-log
kernel-debug-log
July 5, 2024 13:16 1m 19s
[kernel-debug-log] Kernel debug log Compile #3774: Pull request #25 synchronize by axel-h
July 5, 2024 12:22 3m 35s kernel-debug-log
kernel-debug-log
July 5, 2024 12:22 3m 35s
[patch-axel-35]: cleanup benchmark Compile #3773: Pull request #28 synchronize by axel-h
July 5, 2024 12:22 1m 28s patch-axel-35
patch-axel-35
July 5, 2024 12:22 1m 28s
[patch-axel-63] RISC-V A730 Compile #3772: Pull request #160 synchronize by axel-h
July 4, 2024 09:40 4m 32s patch-axel-63
patch-axel-63
July 4, 2024 09:40 4m 32s
[patch-axel-31] RISC-V stuff Compile #3771: Pull request #135 synchronize by axel-h
July 4, 2024 09:40 2m 5s patch-axel-31
patch-axel-31
July 4, 2024 09:40 2m 5s
Update VERSION file to 13.0.0-dev Compile #3770: Commit 7a3ab6b pushed by axel-h
July 4, 2024 09:27 1m 4s master
master
July 4, 2024 09:27 1m 4s