Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: add exynos5 workflow for branch push Proofs #551: Commit 4e19fcc pushed by seL4-ci
August 30, 2023 20:00 3h 27m 46s exynos5-ver-rebased
exynos5-ver-rebased
August 30, 2023 20:00 3h 27m 46s
github: add imx8mm workflow for branch push Proofs #550: Commit fb73907 pushed by seL4-ci
August 30, 2023 20:00 2h 25m 50s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 30, 2023 20:00 2h 25m 50s
lib: add docs and test for Corres_Method Proofs #549: Commit c4369f5 pushed by lsf37
August 30, 2023 19:59 1h 21m 28s master
master
August 30, 2023 19:59 1h 21m 28s
manifest-update Proofs #548: Repository dispatch triggered by seL4-ci
August 28, 2023 07:32 4h 7m 21s
August 28, 2023 07:32 4h 7m 21s
manifest-update Proofs #547: Repository dispatch triggered by seL4-ci
August 24, 2023 14:02 4h 19m 52s
August 24, 2023 14:02 4h 19m 52s
github: add imx8mm workflow for branch push Proofs #545: Commit ad8c6b6 pushed by seL4-ci
August 23, 2023 13:42 2h 43m 55s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 23, 2023 13:42 2h 43m 55s
github: add exynos5 workflow for branch push Proofs #546: Commit b61d512 pushed by seL4-ci
August 23, 2023 13:42 3h 32m 58s exynos5-ver-rebased
exynos5-ver-rebased
August 23, 2023 13:42 3h 32m 58s
manifest-update Proofs #544: Repository dispatch triggered by seL4-ci
August 23, 2023 13:35 7h 35m 11s
August 23, 2023 13:35 7h 35m 11s
github: add imx8mm workflow for branch push Proofs #543: Commit 4c57be3 pushed by seL4-ci
August 23, 2023 01:53 1h 11m 0s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 23, 2023 01:53 1h 11m 0s
github: add exynos5 workflow for branch push Proofs #542: Commit ffd9533 pushed by seL4-ci
August 23, 2023 01:53 2h 11m 55s exynos5-ver-rebased
exynos5-ver-rebased
August 23, 2023 01:53 2h 11m 55s
lib: update for trace monad refactor Proofs #541: Commit 917fff5 pushed by corlewis
August 23, 2023 01:53 4h 18m 0s master
master
August 23, 2023 01:53 4h 18m 0s
github: add imx8mm workflow for branch push Proofs #540: Commit 8d13c38 pushed by seL4-ci
August 23, 2023 01:48 1h 15m 50s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 23, 2023 01:48 1h 15m 50s
github: add exynos5 workflow for branch push Proofs #539: Commit 5e79cf1 pushed by seL4-ci
August 23, 2023 01:48 2h 16m 50s exynos5-ver-rebased
exynos5-ver-rebased
August 23, 2023 01:48 2h 16m 50s
refine: update for changes to nondet monad Proofs #538: Commit a084de4 pushed by corlewis
August 23, 2023 01:48 1h 23m 40s master
master
August 23, 2023 01:48 1h 23m 40s
manifest-update Proofs #537: Repository dispatch triggered by seL4-ci
August 22, 2023 09:18 24m 31s
August 22, 2023 09:18 24m 31s
github: add exynos5 workflow for branch push Proofs #536: Commit 724c0d3 pushed by seL4-ci
August 14, 2023 13:52 3h 43m 19s exynos5-ver-rebased
exynos5-ver-rebased
August 14, 2023 13:52 3h 43m 19s
github: add imx8mm workflow for branch push Proofs #535: Commit 6415e79 pushed by seL4-ci
August 14, 2023 13:52 2h 24m 36s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 14, 2023 13:52 2h 24m 36s
arm-hyp crefine: proof update for object_type enum reorder Proofs #534: Commit 4d97b26 pushed by lsf37
August 14, 2023 13:51 2h 51m 12s master
master
August 14, 2023 13:51 2h 51m 12s
manifest-update Proofs #533: Repository dispatch triggered by seL4-ci
August 14, 2023 05:45 3h 5m 6s
August 14, 2023 05:45 3h 5m 6s
manifest-update Proofs #532: Repository dispatch triggered by seL4-ci
August 13, 2023 01:32 4h 51m 1s
August 13, 2023 01:32 4h 51m 1s
manifest-update Proofs #531: Repository dispatch triggered by seL4-ci
August 13, 2023 01:14 3h 46m 25s
August 13, 2023 01:14 3h 46m 25s
manifest-update Proofs #530: Repository dispatch triggered by seL4-ci
August 10, 2023 07:29 2h 46m 54s
August 10, 2023 07:29 2h 46m 54s
github: add exynos5 workflow for branch push Proofs #529: Commit 2d26497 pushed by seL4-ci
August 9, 2023 06:42 3h 27m 20s exynos5-ver-rebased
exynos5-ver-rebased
August 9, 2023 06:42 3h 27m 20s
github: add imx8mm workflow for branch push Proofs #528: Commit 8ce09d0 pushed by seL4-ci
August 9, 2023 06:42 2h 34m 24s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 9, 2023 06:42 2h 34m 24s
proof+autocorres: update for select_wp and alternative_wp Proofs #527: Commit 0211681 pushed by corlewis
August 9, 2023 06:42 3h 54m 20s master
master
August 9, 2023 06:42 3h 54m 20s