Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,458 workflow runs
2,458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

provide a NUM_DOMAINS test override CI #2773: Pull request #701 synchronize by lsf37
December 10, 2023 11:12 42s num-domains-override
num-domains-override
December 10, 2023 11:12 42s
provide a NUM_DOMAINS test override Proof PR #2659: Pull request #701 synchronize by lsf37
December 10, 2023 11:12 17m 11s
December 10, 2023 11:12 17m 11s
provide a NUM_DOMAINS test override CI #2772: Pull request #701 synchronize by lsf37
December 10, 2023 10:55 18s num-domains-override
num-domains-override
December 10, 2023 10:55 18s
provide a NUM_DOMAINS test override PR #2348: Pull request #701 synchronize by lsf37
December 10, 2023 10:55 55s num-domains-override
num-domains-override
December 10, 2023 10:55 55s
provide a NUM_DOMAINS test override Proof PR #2658: Pull request #701 synchronize by lsf37
December 10, 2023 10:55 18m 10s
December 10, 2023 10:55 18m 10s
provide a NUM_DOMAINS test override CI #2771: Pull request #701 opened by lsf37
December 10, 2023 10:55 19s num-domains-override
num-domains-override
December 10, 2023 10:55 19s
provide a NUM_DOMAINS test override PR #2347: Pull request #701 opened by lsf37
December 10, 2023 10:55 49s num-domains-override
num-domains-override
December 10, 2023 10:55 49s
provide a NUM_DOMAINS test override Proof PR #2657: Pull request #701 opened by lsf37
December 10, 2023 10:55 16m 41s
December 10, 2023 10:55 16m 41s
Weekly Clean Weekly Clean #124: Scheduled
December 9, 2023 15:03 3h 39m 59s master
master
December 9, 2023 15:03 3h 39m 59s
github: docs for platform branch rebase workflow CI #2770: Pull request #700 opened by lsf37
December 8, 2023 13:44 37s platform-rebase
platform-rebase
December 8, 2023 13:44 37s
github: docs for platform branch rebase workflow PR #2346: Pull request #700 opened by lsf37
December 8, 2023 13:44 51s platform-rebase
platform-rebase
December 8, 2023 13:44 51s
github: docs for platform branch rebase workflow Proof PR #2656: Pull request #700 opened by lsf37
December 8, 2023 13:44 17m 33s
December 8, 2023 13:44 17m 33s
github: add imx8mm workflow for branch push Proofs #638: Commit 9c2233d pushed by seL4-ci
December 6, 2023 10:59 1h 10m 45s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
December 6, 2023 10:59 1h 10m 45s
github: add exynos5 workflow for branch push Proofs #637: Commit 5472656 pushed by seL4-ci
December 6, 2023 10:59 1h 26m 22s exynos5-ver-rebased
exynos5-ver-rebased
December 6, 2023 10:59 1h 26m 22s
clib: further improvements to ccorres_While CI #2769: Commit 0ba3f8e pushed by michaelmcinerney
December 6, 2023 10:59 25s master
master
December 6, 2023 10:59 25s
clib: further improvements to ccorres_While Proofs #636: Commit 0ba3f8e pushed by michaelmcinerney
December 6, 2023 10:59 3h 58m 6s master
master
December 6, 2023 10:59 3h 58m 6s
manifest-update Proofs #635: Repository dispatch triggered by seL4-ci
December 6, 2023 10:44 1h 55m 54s
December 6, 2023 10:44 1h 55m 54s
Minor improvements to CRefine Proof PR #2655: Pull request #699 opened by corlewis
December 6, 2023 01:35 1h 43m 16s
December 6, 2023 01:35 1h 43m 16s
Minor improvements to CRefine PR #2345: Pull request #699 opened by corlewis
December 6, 2023 01:35 55s corlewis:crefine_improvements
corlewis:crefine_improvements
December 6, 2023 01:35 55s
Minor improvements to CRefine CI #2768: Pull request #699 opened by corlewis
December 6, 2023 01:35 21s corlewis:crefine_improvements
corlewis:crefine_improvements
December 6, 2023 01:35 21s
Further improvements to ccorres_While PR #2344: Pull request #697 synchronize by michaelmcinerney
December 6, 2023 00:55 47s michaelm-new_ccorres_While
michaelm-new_ccorres_While
December 6, 2023 00:55 47s
Further improvements to ccorres_While CI #2767: Pull request #697 synchronize by michaelmcinerney
December 6, 2023 00:55 25s michaelm-new_ccorres_While
michaelm-new_ccorres_While
December 6, 2023 00:55 25s
Further improvements to ccorres_While Proof PR #2654: Pull request #697 synchronize by michaelmcinerney
December 6, 2023 00:55 1h 44m 28s
December 6, 2023 00:55 1h 44m 28s
github: add imx8mm workflow for branch push Proofs #634: Commit d727c3b pushed by seL4-ci
December 5, 2023 16:27 2h 25m 26s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
December 5, 2023 16:27 2h 25m 26s
github: add exynos5 workflow for branch push Proofs #633: Commit f6d5663 pushed by seL4-ci
December 5, 2023 16:27 3h 6m 16s exynos5-ver-rebased
exynos5-ver-rebased
December 5, 2023 16:27 3h 6m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.