Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
github: add imx8mm workflow for branch push Proofs #900: Commit d13c384 pushed by seL4-ci
July 1, 2024 06:05 1h 18m 33s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 1, 2024 06:05 1h 18m 33s
github: add exynos5 workflow for branch push Proofs #899: Commit a1e3c2a pushed by seL4-ci
July 1, 2024 06:05 1h 18m 32s exynos5-ver-rebased
exynos5-ver-rebased
July 1, 2024 06:05 1h 18m 32s
manifest-update Proofs #898: Repository dispatch triggered by seL4-ci
July 1, 2024 06:04 41m 8s
July 1, 2024 06:04 41m 8s
github: add imx8mm workflow for branch push Proofs #897: Commit 3961556 pushed by seL4-ci
July 1, 2024 05:34 31m 21s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 1, 2024 05:34 31m 21s
github: add exynos5 workflow for branch push Proofs #896: Commit 49ee0ce pushed by seL4-ci
July 1, 2024 05:34 31m 25s exynos5-ver-rebased
exynos5-ver-rebased
July 1, 2024 05:34 31m 25s
manifest-update Proofs #895: Repository dispatch triggered by seL4-ci
July 1, 2024 05:33 44m 30s
July 1, 2024 05:33 44m 30s
github: add imx8mm workflow for branch push Proofs #894: Commit bbf54c3 pushed by seL4-ci
July 1, 2024 05:32 1h 55m 23s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 1, 2024 05:32 1h 55m 23s
github: add exynos5 workflow for branch push Proofs #893: Commit cd94b0d pushed by seL4-ci
July 1, 2024 05:32 1h 51m 23s exynos5-ver-rebased
exynos5-ver-rebased
July 1, 2024 05:32 1h 51m 23s
spec+proof+sysinit: refactor tcb_slots Proofs #892: Commit 6956c71 pushed by lsf37
July 1, 2024 05:32 15m 15s master
master
July 1, 2024 05:32 15m 15s
manifest-update Proofs #891: Repository dispatch triggered by seL4-ci
July 1, 2024 04:04 2h 29m 2s
July 1, 2024 04:04 2h 29m 2s
manifest-update Proofs #890: Repository dispatch triggered by seL4-ci
June 30, 2024 11:41 16m 4s
June 30, 2024 11:41 16m 4s
manifest-update Proofs #889: Repository dispatch triggered by seL4-ci
June 30, 2024 11:21 17m 27s
June 30, 2024 11:21 17m 27s
manifest-update Proofs #888: Repository dispatch triggered by seL4-ci
June 30, 2024 08:31 18m 13s
June 30, 2024 08:31 18m 13s
manifest-update Proofs #887: Repository dispatch triggered by seL4-ci
June 30, 2024 02:50 17m 9s
June 30, 2024 02:50 17m 9s