Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof-deploy.yml
10 workflow run results
10 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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 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