Skip to content

Actions: seL4/seL4_tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow run results
100 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

morello: Add FVP and SoC platforms to the EFI list PR #568: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 22s CTSRD-CHERI:pr1_morello_aarch64
CTSRD-CHERI:pr1_morello_aarch64
January 31, 2024 11:33 22s
morello: Add FVP and SoC platforms to the EFI list CI #677: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 46s CTSRD-CHERI:pr1_morello_aarch64
CTSRD-CHERI:pr1_morello_aarch64
January 31, 2024 11:33 46s
morello: Add FVP and SoC platforms to the EFI list seL4Test-Sim #393: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 12m 0s CTSRD-CHERI:pr1_morello_aarch64
CTSRD-CHERI:pr1_morello_aarch64
January 31, 2024 11:33 12m 0s
morello: Add FVP and SoC platforms to the EFI list seL4Test-HW #209: Pull request #188 opened by heshamelmatary
January 31, 2024 11:33 7s
January 31, 2024 11:33 7s
lld: Enable building C projects without crt files CI #676: Commit 5e2506b pushed by lsf37
January 25, 2024 21:58 31s master
master
January 25, 2024 21:58 31s
lld: Enable building C projects without crt files Trigger #49: Commit 5e2506b pushed by lsf37
January 25, 2024 21:58 18s master
master
January 25, 2024 21:58 18s
lld: Enable building C projects without crt files seL4Test-Sim #392: Commit 5e2506b pushed by lsf37
January 25, 2024 21:58 11m 50s master
master
January 25, 2024 21:58 11m 50s
Changes to enable linking with LLVM/lld seL4Test-Sim #391: Pull request #173 synchronize by heshamelmatary
January 15, 2024 16:29 12m 8s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 15, 2024 16:29 12m 8s
Changes to enable linking with LLVM/lld seL4Test-HW #208: Pull request #173 synchronize by heshamelmatary
January 15, 2024 16:29 6h 52m 6s
January 15, 2024 16:29 6h 52m 6s
Changes to enable linking with LLVM/lld PR #567: Pull request #173 synchronize by heshamelmatary
January 15, 2024 16:29 18s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 15, 2024 16:29 18s
Changes to enable linking with LLVM/lld CI #675: Pull request #173 synchronize by heshamelmatary
January 15, 2024 16:29 27s CTSRD-CHERI:lld
CTSRD-CHERI:lld
January 15, 2024 16:29 27s
Patch axel 7a PR #566: Pull request #187 synchronize by axel-h
January 15, 2024 14:09 17s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 14:09 17s
Patch axel 7a CI #674: Pull request #187 synchronize by axel-h
January 15, 2024 14:09 26s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 14:09 26s
Patch axel 7a seL4Test-Sim #390: Pull request #187 synchronize by axel-h
January 15, 2024 14:09 12m 14s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 14:09 12m 14s
Patch axel 7a seL4Test-HW #207: Pull request #187 synchronize by axel-h
January 15, 2024 14:09 51m 46s
January 15, 2024 14:09 51m 46s
improve RISC-V multi core boot seL4Test-HW #206: Pull request #132 labeled by axel-h
January 15, 2024 14:00 51m 31s
January 15, 2024 14:00 51m 31s
Patch axel 7a seL4Test-HW #205: Pull request #187 labeled by axel-h
January 15, 2024 13:31 39m 18s
January 15, 2024 13:31 39m 18s
Patch axel 7a seL4Test-HW #204: Pull request #187 labeled by axel-h
January 15, 2024 13:31 51m 7s
January 15, 2024 13:31 51m 7s
Patch axel 7a PR #565: Pull request #187 opened by axel-h
January 15, 2024 13:31 23s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 13:31 23s
Patch axel 7a CI #673: Pull request #187 opened by axel-h
January 15, 2024 13:31 28s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 13:31 28s
Patch axel 7a seL4Test-HW #203: Pull request #187 opened by axel-h
January 15, 2024 13:31 4s
January 15, 2024 13:31 4s
Patch axel 7a seL4Test-Sim #389: Pull request #187 opened by axel-h
January 15, 2024 13:31 11m 55s axel-h:patch-axel-7a
axel-h:patch-axel-7a
January 15, 2024 13:31 11m 55s
improve CPIO creation PR #564: Pull request #151 synchronize by axel-h
January 15, 2024 13:17 21s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
January 15, 2024 13:17 21s
improve CPIO creation CI #672: Pull request #151 synchronize by axel-h
January 15, 2024 13:17 29s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
January 15, 2024 13:17 29s
improve CPIO creation seL4Test-Sim #388: Pull request #151 synchronize by axel-h
January 15, 2024 13:17 11m 53s Hensoldt-Cyber:patch-axel-10
Hensoldt-Cyber:patch-axel-10
January 15, 2024 13:17 11m 53s