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 #986: Repository dispatch triggered by seL4-ci
October 17, 2024 09:04 19m 27s
October 17, 2024 09:04 19m 27s
manifest-update Proofs #985: Repository dispatch triggered by seL4-ci
October 15, 2024 03:30 3h 43m 39s
October 15, 2024 03:30 3h 43m 39s
manifest-update Proofs #984: Repository dispatch triggered by seL4-ci
October 15, 2024 02:21 2h 25m 58s
October 15, 2024 02:21 2h 25m 58s
github: add imx8mm workflow for branch push Proofs #983: Commit 1c89863 pushed by lsf37
October 13, 2024 08:59 54m 34s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 13, 2024 08:59 54m 34s
github: add imx8mm workflow for branch push Proofs #982: Commit 956e9ac pushed by lsf37
October 13, 2024 00:53 1h 40m 6s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 13, 2024 00:53 1h 40m 6s
github: add imx8mm workflow for branch push Proofs #981: Commit 48f2b51 pushed by lsf37
October 12, 2024 05:19 2h 27m 16s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 12, 2024 05:19 2h 27m 16s
c-parser: handle sed backup files uniformly in mkrelease Proofs #980: Commit 4f1563a pushed by lsf37
October 11, 2024 03:37 19m 44s master
master
October 11, 2024 03:37 19m 44s
manifest-update Proofs #979: Repository dispatch triggered by seL4-ci
October 7, 2024 06:00 2h 33m 37s
October 7, 2024 06:00 2h 33m 37s
manifest-update Proofs #978: Repository dispatch triggered by seL4-ci
October 4, 2024 08:09 16m 58s
October 4, 2024 08:09 16m 58s
arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS Proofs #977: Commit e34ca85 pushed by lsf37
September 25, 2024 13:51 3h 11m 2s master
master
September 25, 2024 13:51 3h 11m 2s
aarch64 crefine: make proof generic in cacheLineBits Proofs #976: Commit d7d306e pushed by lsf37
September 24, 2024 20:24 3h 23m 7s master
master
September 24, 2024 20:24 3h 23m 7s
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