Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof-deploy.yml
488 workflow runs
488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: add tests for exynos5, zynqmp, bcm2711 Proofs #925: Commit 8c552e9 pushed by lsf37
July 8, 2024 04:22 2h 9m 55s master
master
July 8, 2024 04:22 2h 9m 55s
github: add exynos5 workflow for branch push Proofs #924: Commit cdec8fd pushed by seL4-ci
July 8, 2024 04:17 16m 55s exynos5-ver-rebased
exynos5-ver-rebased
July 8, 2024 04:17 16m 55s
aarch64 ainvs+refine+crefine: make proofs generic in PA_SIZE_BITS_40 Proofs #923: Commit 222a776 pushed by lsf37
July 8, 2024 04:16 2h 12m 45s master
master
July 8, 2024 04:16 2h 12m 45s
github: add imx8mm workflow for branch push Proofs #922: Commit 1c6efd6 pushed by lsf37
July 8, 2024 02:47 2h 16m 36s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 8, 2024 02:47 2h 16m 36s
manifest-update Proofs #921: Repository dispatch triggered by seL4-ci
July 8, 2024 02:01 4h 2m 17s
July 8, 2024 02:01 4h 2m 17s
github: add exynos5 workflow for branch push Proofs #920: Commit da18de3 pushed by lsf37
July 8, 2024 01:17 2h 55m 42s exynos5-ver-rebased
exynos5-ver-rebased
July 8, 2024 01:17 2h 55m 42s
github: add imx8mm workflow for branch push Proofs #919: Commit f0b735c pushed by lsf37
July 8, 2024 01:15 34m 26s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 8, 2024 01:15 34m 26s
proof/Makefile: declare InfoFlowCBase dependencies Proofs #918: Commit 4a9a6c6 pushed by lsf37
July 8, 2024 00:58 3h 29m 34s master
master
July 8, 2024 00:58 3h 29m 34s
github: add exynos5 workflow for branch push Proofs #917: Commit 519db92 pushed by seL4-ci
July 5, 2024 07:01 17m 49s exynos5-ver-rebased
exynos5-ver-rebased
July 5, 2024 07:01 17m 49s
github: add imx8mm workflow for branch push Proofs #916: Commit 8ece237 pushed by seL4-ci
July 5, 2024 07:01 16m 6s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 5, 2024 07:01 16m 6s
docs: update arch-split Proofs #915: Commit 96ad1f6 pushed by Xaphiosis
July 5, 2024 07:01 3h 23m 23s master
master
July 5, 2024 07:01 3h 23m 23s
github: add exynos5 workflow for branch push Proofs #914: Commit d725fb8 pushed by seL4-ci
July 4, 2024 23:46 1h 9m 39s exynos5-ver-rebased
exynos5-ver-rebased
July 4, 2024 23:46 1h 9m 39s
github: add imx8mm workflow for branch push Proofs #913: Commit b418550 pushed by seL4-ci
July 4, 2024 23:46 15m 56s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 4, 2024 23:46 15m 56s
docs: document platform branch procedure Proofs #912: Commit 5044eee pushed by lsf37
July 4, 2024 23:45 19m 8s master
master
July 4, 2024 23:45 19m 8s
manifest-update Proofs #911: Repository dispatch triggered by seL4-ci
July 1, 2024 21:04 1h 12m 5s
July 1, 2024 21:04 1h 12m 5s
github: add exynos5 workflow for branch push Proofs #910: Commit d0e3a69 pushed by seL4-ci
July 1, 2024 09:12 1h 52m 45s exynos5-ver-rebased
exynos5-ver-rebased
July 1, 2024 09:12 1h 52m 45s
manifest-update Proofs #909: Repository dispatch triggered by seL4-ci
July 1, 2024 09:09 1h 20m 21s
July 1, 2024 09:09 1h 20m 21s
github: add imx8mm workflow for branch push Proofs #908: Commit 4caec92 pushed by seL4-ci
July 1, 2024 07:58 1h 2m 51s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 1, 2024 07:58 1h 2m 51s
github: add exynos5 workflow for branch push Proofs #907: Commit a1f5181 pushed by seL4-ci
July 1, 2024 07:58 1h 14m 40s exynos5-ver-rebased
exynos5-ver-rebased
July 1, 2024 07:58 1h 14m 40s
github: remove haskellstack.org from link check Proofs #906: Commit 00d9073 pushed by lsf37
July 1, 2024 07:58 1h 22m 34s master
master
July 1, 2024 07:58 1h 22m 34s
github: add exynos5 workflow for branch push Proofs #905: Commit a71a63e pushed by seL4-ci
July 1, 2024 07:52 6m 37s exynos5-ver-rebased
exynos5-ver-rebased
July 1, 2024 07:52 6m 37s
manifest-update Proofs #904: Repository dispatch triggered by seL4-ci
July 1, 2024 07:50 1h 16m 5s
July 1, 2024 07:50 1h 16m 5s
github: add imx8mm workflow for branch push Proofs #903: Commit eb069ff pushed by seL4-ci
July 1, 2024 07:23 19m 53s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 1, 2024 07:23 19m 53s
github: add exynos5 workflow for branch push Proofs #902: Commit 108afec pushed by seL4-ci
July 1, 2024 07:23 2h 31m 47s exynos5-ver-rebased
exynos5-ver-rebased
July 1, 2024 07:23 2h 31m 47s
manifest-update Proofs #901: Repository dispatch triggered by seL4-ci
July 1, 2024 07:21 19m 4s
July 1, 2024 07:21 19m 4s