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-28] cleanup risc-v CI #4026: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 32m 42s patch-axel-28
patch-axel-28
November 10, 2024 16:39 32m 42s
[patch-axel-28] cleanup risc-v seL4Test-Sim #3549: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 47m 0s patch-axel-28
patch-axel-28
November 10, 2024 16:39 47m 0s
[patch-axel-28] cleanup risc-v C Parser #3755: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 33m 52s patch-axel-28
patch-axel-28
November 10, 2024 16:39 33m 52s
[patch-axel-28] cleanup risc-v Proofs #3647: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 2s
November 10, 2024 16:39 2s
[patch-axel-28] cleanup risc-v seL4Test-HW #3834: Pull request #68 synchronize by axel-h
November 10, 2024 16:39 3s
November 10, 2024 16:39 3s
[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 Compile #3828: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 32m 18s patch-axel-85
patch-axel-85
November 10, 2024 16:39 32m 18s
[patch-axel-85] arch ACME CI #4025: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 30m 5s patch-axel-85
patch-axel-85
November 10, 2024 16:39 30m 5s
[patch-axel-85] arch ACME seL4Test-Sim #3548: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 43m 25s patch-axel-85
patch-axel-85
November 10, 2024 16:39 43m 25s
[patch-axel-85] arch ACME C Parser #3754: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 29m 52s patch-axel-85
patch-axel-85
November 10, 2024 16:39 29m 52s
[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-85] arch ACME RefMan #3761: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 29m 30s patch-axel-85
patch-axel-85
November 10, 2024 16:39 29m 30s
[patch-axel-85] arch ACME XML #92: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 28m 12s patch-axel-85
patch-axel-85
November 10, 2024 16:39 28m 12s
[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-85] arch ACME Proofs #3646: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 2s
November 10, 2024 16:39 2s
[patch-axel-85] arch ACME seL4Test-HW #3833: Pull request #74 synchronize by axel-h
November 10, 2024 16:39 6s
November 10, 2024 16:39 6s
[Patch axel 33] SMP lock Compile #3827: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 31m 24s patch-axel-33
patch-axel-33
November 10, 2024 16:36 31m 24s
[Patch axel 33] SMP lock C Parser #3753: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 24m 6s patch-axel-33
patch-axel-33
November 10, 2024 16:36 24m 6s
[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 33] SMP lock CI #4024: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 22m 52s patch-axel-33
patch-axel-33
November 10, 2024 16:36 22m 52s
[Patch axel 33] SMP lock seL4Test-Sim #3547: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 35m 41s patch-axel-33
patch-axel-33
November 10, 2024 16:36 35m 41s
[Patch axel 33] SMP lock RefMan #3760: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 23m 50s patch-axel-33
patch-axel-33
November 10, 2024 16:36 23m 50s
[Patch axel 33] SMP lock Proofs #3645: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 2s
November 10, 2024 16:36 2s
[Patch axel 33] SMP lock seL4Test-HW #3832: Pull request #73 synchronize by axel-h
November 10, 2024 16:36 1h 25m 16s
November 10, 2024 16:36 1h 25m 16s
[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