Skip to content

Actions: axel-h/seL4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,032 workflow runs
11,032 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-47] remove autoconf.h Proofs #3653: Pull request #151 synchronize by axel-h
November 10, 2024 17:23 2s
November 10, 2024 17:23 2s
[patch-axel-47] remove autoconf.h seL4Test-HW #3840: 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 Compile #3834: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 53m 50s patch-axel-76
patch-axel-76
November 10, 2024 16:54 53m 50s
[patch-axel-76] cleanup syscall_stub_gen.py seL4Test-Sim #3554: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 1h 4m 54s patch-axel-76
patch-axel-76
November 10, 2024 16:54 1h 4m 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-76] cleanup syscall_stub_gen.py C Parser #3760: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 53m 4s patch-axel-76
patch-axel-76
November 10, 2024 16:54 53m 4s
[patch-axel-76] cleanup syscall_stub_gen.py RefMan #3767: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 52m 32s patch-axel-76
patch-axel-76
November 10, 2024 16:54 52m 32s
[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-76] cleanup syscall_stub_gen.py Proofs #3652: Pull request #148 synchronize by axel-h
November 10, 2024 16:54 1s
November 10, 2024 16:54 1s
[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-76] cleanup syscall_stub_gen.py seL4Test-HW #3839: 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 seL4Test-Sim #3553: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 51m 32s patch-axel-76a
patch-axel-76a
November 10, 2024 16:54 51m 32s
[patch-axel-76a] WIP cleanup syscall_stub_gen.py Compile #3833: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 52m 35s patch-axel-76a
patch-axel-76a
November 10, 2024 16:54 52m 35s
[patch-axel-76a] WIP cleanup syscall_stub_gen.py RefMan #3766: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 50m 43s patch-axel-76a
patch-axel-76a
November 10, 2024 16:54 50m 43s
[patch-axel-76a] WIP cleanup syscall_stub_gen.py C Parser #3759: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 50m 48s patch-axel-76a
patch-axel-76a
November 10, 2024 16:54 50m 48s
[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
[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
[patch-axel-76a] WIP cleanup syscall_stub_gen.py Proofs #3651: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 1s
November 10, 2024 16:54 1s
[patch-axel-76a] WIP cleanup syscall_stub_gen.py seL4Test-HW #3838: Pull request #149 synchronize by axel-h
November 10, 2024 16:54 5s
November 10, 2024 16:54 5s
[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 C Parser #3758: Pull request #113 synchronize by axel-h
November 10, 2024 16:44 49m 27s patch-axel-93
patch-axel-93
November 10, 2024 16:44 49m 27s
[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
[atch-axel-93] make CONFIGURE_KERNEL_WCET generic RefMan #3765: Pull request #113 synchronize by axel-h
November 10, 2024 16:44 49m 31s patch-axel-93
patch-axel-93
November 10, 2024 16:44 49m 31s
[atch-axel-93] make CONFIGURE_KERNEL_WCET generic seL4Test-Sim #3552: Pull request #113 synchronize by axel-h
November 10, 2024 16:44 1h 18m 10s patch-axel-93
patch-axel-93
November 10, 2024 16:44 1h 18m 10s
[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