Skip to content

Actions: seL4/seL4_tools

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
764 workflow runs
764 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cmake: Support binary build for imx8mp-evk
CI #766: Commit f43fe93 pushed by kent-mcleod
June 12, 2024 12:46 55s master
June 12, 2024 12:46 55s
cmake: Support binary build for imx8mp-evk
PR #651: Pull request #201 synchronize by nomadeel
June 12, 2024 06:29 25s nomadeel:imx8mp_evk
June 12, 2024 06:29 25s
cmake: Support binary build for imx8mp-evk
CI #765: Pull request #201 synchronize by nomadeel
June 12, 2024 06:29 29s nomadeel:imx8mp_evk
June 12, 2024 06:29 29s
cmake: Support binary build for imx8mp-evk
seL4Test-Sim #481: Pull request #201 synchronize by nomadeel
June 12, 2024 06:29 12m 42s nomadeel:imx8mp_evk
June 12, 2024 06:29 12m 42s
cmake: Support binary build for imx8mp-evk
seL4Test-HW #298: Pull request #201 synchronize by nomadeel
June 12, 2024 06:29 5s
June 12, 2024 06:29 5s
Add support for Pine64 Star64
Trigger #54: Commit 5c3ff84 pushed by Ivan-Velickovic
June 11, 2024 09:45 12s master
June 11, 2024 09:45 12s
Add support for Pine64 Star64
CI #764: Commit 5c3ff84 pushed by Ivan-Velickovic
June 11, 2024 09:45 31s master
June 11, 2024 09:45 31s
Add support for Pine64 Star64
seL4Test-Sim #480: Commit 5c3ff84 pushed by Ivan-Velickovic
June 11, 2024 09:45 12m 39s master
June 11, 2024 09:45 12m 39s
Add support for Pine64 Star64
CI #763: Pull request #174 synchronize by Ivan-Velickovic
June 11, 2024 09:33 33s Ivan-Velickovic:star64
June 11, 2024 09:33 33s
Add support for Pine64 Star64
seL4Test-Sim #479: Pull request #174 synchronize by Ivan-Velickovic
June 11, 2024 09:33 12m 47s Ivan-Velickovic:star64
June 11, 2024 09:33 12m 47s
Add support for Pine64 Star64
PR #650: Pull request #174 synchronize by Ivan-Velickovic
June 11, 2024 09:33 26s Ivan-Velickovic:star64
June 11, 2024 09:33 26s
Add support for Pine64 Star64
seL4Test-HW #297: Pull request #174 synchronize by Ivan-Velickovic
June 11, 2024 09:33 7s
June 11, 2024 09:33 7s
elfloader: factor out check_hash()
seL4Test-Sim #478: Pull request #160 synchronize by axel-h
May 30, 2024 13:11 12m 56s Hensoldt-Cyber:patch-axel-14
May 30, 2024 13:11 12m 56s
elfloader: factor out check_hash()
seL4Test-HW #296: Pull request #160 synchronize by axel-h
May 30, 2024 13:11 44m 12s
May 30, 2024 13:11 44m 12s
improve CPIO creation
seL4Test-Sim #477: Pull request #151 synchronize by axel-h
May 30, 2024 13:10 12m 52s Hensoldt-Cyber:patch-axel-10
May 30, 2024 13:10 12m 52s
improve CPIO creation
CI #761: Pull request #151 synchronize by axel-h
May 30, 2024 13:10 30s Hensoldt-Cyber:patch-axel-10
May 30, 2024 13:10 30s
improve CPIO creation
PR #648: Pull request #151 synchronize by axel-h
May 30, 2024 13:10 19s Hensoldt-Cyber:patch-axel-10
May 30, 2024 13:10 19s
improve CPIO creation
seL4Test-HW #295: Pull request #151 synchronize by axel-h
May 30, 2024 13:10 43m 5s
May 30, 2024 13:10 43m 5s
elfloader: remove attic compiler parameter
CI #760: Pull request #193 synchronize by axel-h
May 30, 2024 13:05 29s axel-h:patch-axel-21
May 30, 2024 13:05 29s
elfloader: remove attic compiler parameter
PR #647: Pull request #193 synchronize by axel-h
May 30, 2024 13:05 23s axel-h:patch-axel-21
May 30, 2024 13:05 23s
elfloader: remove attic compiler parameter
seL4Test-Sim #476: Pull request #193 synchronize by axel-h
May 30, 2024 13:05 12m 49s axel-h:patch-axel-21
May 30, 2024 13:05 12m 49s
elfloader: remove attic compiler parameter
seL4Test-HW #294: Pull request #193 synchronize by axel-h
May 30, 2024 13:05 4s
May 30, 2024 13:05 4s
elfloader: make check more intuitive
CI #759: Pull request #197 synchronize by axel-h
May 30, 2024 13:03 24s axel-h:patch-axel-26
May 30, 2024 13:03 24s