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

manifest-update Proofs #975: Repository dispatch triggered by seL4-ci
September 16, 2024 11:35 18m 51s
September 16, 2024 11:35 18m 51s
lib: Requalify_Test: add example of requalify-hide-requalify Proofs #974: Commit 53f44de pushed by Xaphiosis
August 28, 2024 05:17 3h 15m 47s master
master
August 28, 2024 05:17 3h 15m 47s
lib: Requalify: enable ctrl+click jumps for arch_requalify Proofs #973: Commit 92971ee pushed by Xaphiosis
August 20, 2024 18:15 3h 14m 52s master
master
August 20, 2024 18:15 3h 14m 52s
refine+crefine: update for arch_requalify design spec updates Proofs #972: Commit e00f7b4 pushed by lsf37
August 19, 2024 08:34 3h 22m 28s master
master
August 19, 2024 08:34 3h 22m 28s
manifest-update Proofs #971: Repository dispatch triggered by seL4-ci
August 14, 2024 13:37 19m 46s
August 14, 2024 13:37 19m 46s
manifest-update Proofs #970: Repository dispatch triggered by seL4-ci
August 13, 2024 18:33 19m 39s
August 13, 2024 18:33 19m 39s
docs: use internet archive for isabelle.systems Proofs #969: Commit 0d07f4f pushed by lsf37
August 9, 2024 04:40 3h 12m 50s master
master
August 9, 2024 04:40 3h 12m 50s
rt haskell+riscv refine+crefine: prove schedContext_donate_ccorres Proofs #968: Commit 83a161d pushed by michaelmcinerney
August 8, 2024 14:12 2h 20m 9s rt
rt
August 8, 2024 14:12 2h 20m 9s
ainvs: remove old arch-split FIXMEs Proofs #967: Commit 2545cfe pushed by Xaphiosis
August 8, 2024 08:05 2h 34m 2s master
master
August 8, 2024 08:05 2h 34m 2s
github: factor out platform rebase into own workflow Proofs #966: Commit d80c831 pushed by lsf37
July 26, 2024 02:00 1h 40m 47s master
master
July 26, 2024 02:00 1h 40m 47s
github: add imx8mm workflow for branch push Proofs #965: Commit 4cab8cd pushed by seL4-ci
July 26, 2024 00:47 1h 45m 25s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 26, 2024 00:47 1h 45m 25s
README: adjust CI proof badges Proofs #964: Commit 407bee8 pushed by lsf37
July 26, 2024 00:46 1h 13m 59s master
master
July 26, 2024 00:46 1h 13m 59s
github: add imx8mm workflow for branch push Proofs #963: Commit 66a5477 pushed by seL4-ci
July 26, 2024 00:03 2h 12m 18s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 26, 2024 00:03 2h 12m 18s
trivial: rename arch_split -> arch-split Proofs #962: Commit 0875edf pushed by Xaphiosis
July 26, 2024 00:02 3h 20m 30s master
master
July 26, 2024 00:02 3h 20m 30s
rt spec+proof: prove awaken_ccorres Proofs #961: Commit 5554410 pushed by michaelmcinerney
July 25, 2024 10:25 2h 37m 30s rt
rt
July 25, 2024 10:25 2h 37m 30s
github: add imx8mm workflow for branch push Proofs #960: Commit 8bfcc3d pushed by Xaphiosis
July 23, 2024 23:48 2h 12m 55s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 23, 2024 23:48 2h 12m 55s
lib: migrate Requalify tests into test/ Proofs #959: Commit bc948e3 pushed by Xaphiosis
July 23, 2024 06:47 24s master
master
July 23, 2024 06:47 24s
rt github: remove push trigger for PR action Proofs #958: Commit 3fb6dcd pushed by lsf37
July 23, 2024 02:12 2h 54m 18s rt
rt
July 23, 2024 02:12 2h 54m 18s
github: add imx8mm workflow for branch push Proofs #957: Commit 04d2fec pushed by lsf37
July 23, 2024 00:00 1h 54m 59s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 23, 2024 00:00 1h 54m 59s
github: add mcs manifest deployment Proofs #956: Commit 5dd35d3 pushed by lsf37
July 22, 2024 11:20 22s master
master
July 22, 2024 11:20 22s
manifest-update Proofs #955: Repository dispatch triggered by seL4-ci
July 19, 2024 09:17 2h 30m 40s
July 19, 2024 09:17 2h 30m 40s
github: add imx8mm workflow for branch push Proofs #954: Commit ac423a7 pushed by seL4-ci
July 18, 2024 11:46 1h 55m 55s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
July 18, 2024 11:46 1h 55m 55s
trivial: fix regexp string escape complaint Proofs #953: Commit bf2d962 pushed by lsf37
July 18, 2024 11:45 1h 13m 45s master
master
July 18, 2024 11:45 1h 13m 45s
manifest-update Proofs #952: Repository dispatch triggered by seL4-ci
July 18, 2024 06:22 2h 38m 13s
July 18, 2024 06:22 2h 38m 13s
manifest-update Proofs #951: Repository dispatch triggered by seL4-ci
July 18, 2024 01:59 14m 34s
July 18, 2024 01:59 14m 34s