Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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 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
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
manifest-update Proofs #632: Repository dispatch triggered by seL4-ci
December 5, 2023 16:26 5h 20m 32s
December 5, 2023 16:26 5h 20m 32s
github: add exynos5 workflow for branch push Proofs #631: Commit 0dcd1c5 pushed by seL4-ci
December 5, 2023 16:26 2h 50m 49s exynos5-ver-rebased
exynos5-ver-rebased
December 5, 2023 16:26 2h 50m 49s
github: add imx8mm workflow for branch push Proofs #630: Commit 9f9d570 pushed by seL4-ci
December 5, 2023 16:26 2h 11m 6s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
December 5, 2023 16:26 2h 11m 6s
arm-hyp crefine: update length to word_t for VCPU functions CI #2766: Commit d4f0e5a pushed by Xaphiosis
December 5, 2023 16:25 58s master
master
December 5, 2023 16:25 58s
arm-hyp crefine: update length to word_t for VCPU functions Proofs #629: Commit d4f0e5a pushed by Xaphiosis
December 5, 2023 16:25 2h 36m 15s master
master
December 5, 2023 16:25 2h 36m 15s
arm-hyp crefine: update length to word_t for VCPU functions CI #2765: Pull request #698 opened by Xaphiosis
December 5, 2023 11:15 22s Xaphiosis:arm_hyp_word_t
Xaphiosis:arm_hyp_word_t
December 5, 2023 11:15 22s
arm-hyp crefine: update length to word_t for VCPU functions PR #2343: Pull request #698 opened by Xaphiosis
December 5, 2023 11:15 1m 0s Xaphiosis:arm_hyp_word_t
Xaphiosis:arm_hyp_word_t
December 5, 2023 11:15 1m 0s
arm-hyp crefine: update length to word_t for VCPU functions Proof PR #2653: Pull request #698 opened by Xaphiosis
December 5, 2023 11:15 2h 49m 34s
December 5, 2023 11:15 2h 49m 34s