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

docs: add recent content to README Proofs #936: Commit ae4b43c pushed by lsf37
July 10, 2024 05:20 18m 22s master
master
July 10, 2024 05:20 18m 22s
github: add imx8mm workflow for branch push Proofs #935: Commit 7d68c29 pushed by seL4-ci
July 10, 2024 00:22 16m 29s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 10, 2024 00:22 16m 29s
github: move linter to pull_request_target trigger Proofs #934: Commit c33ec1f pushed by lsf37
July 10, 2024 00:22 3h 18m 24s master
master
July 10, 2024 00:22 3h 18m 24s
github: add imx8mm workflow for branch push Proofs #933: Commit 7336d7d pushed by lsf37
July 9, 2024 05:45 2h 26m 50s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 9, 2024 05:45 2h 26m 50s
proof: update for removed hoare_gets Proofs #932: Commit 1576f11 pushed by corlewis
July 9, 2024 01:24 23s master
master
July 9, 2024 01:24 23s
github: add imx8mm workflow for branch push Proofs #931: Commit be8f009 pushed by lsf37
July 9, 2024 00:40 1h 53m 39s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 9, 2024 00:40 1h 53m 39s
github: fix platform build matrix Proofs #930: Commit bc8e5ff pushed by lsf37
July 9, 2024 00:38 2h 46m 25s master
master
July 9, 2024 00:38 2h 46m 25s
github: add imx8mm workflow for branch push Proofs #929: Commit 4202028 pushed by lsf37
July 9, 2024 00:07 2h 9m 51s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 9, 2024 00:07 2h 9m 51s
github: upgrade permissions for annotation action Proofs #928: Commit a7ec432 pushed by lsf37
July 8, 2024 23:34 3h 35m 50s master
master
July 8, 2024 23:34 3h 35m 50s
lib+proof: rename crunches to crunch Proofs #927: Commit da814c5 pushed by corlewis
July 8, 2024 13:02 2h 27m 34s master
master
July 8, 2024 13:02 2h 27m 34s
manifest-update Proofs #926: Repository dispatch triggered by seL4-ci
July 8, 2024 04:25 13m 18s
July 8, 2024 04:25 13m 18s
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