Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

manifest-update Proofs #996: Repository dispatch triggered by seL4-ci
November 11, 2024 17:51 2h 4m 59s
November 11, 2024 17:51 2h 4m 59s
manifest-update Proofs #995: Repository dispatch triggered by seL4-ci
November 6, 2024 10:08 2h 10m 3s
November 6, 2024 10:08 2h 10m 3s
manifest-update Proofs #994: Repository dispatch triggered by seL4-ci
November 3, 2024 15:13 18m 49s
November 3, 2024 15:13 18m 49s
manifest-update Proofs #993: Repository dispatch triggered by seL4-ci
October 25, 2024 05:42 3h 24m 8s
October 25, 2024 05:42 3h 24m 8s
github: add imx8mm workflow for branch push Proofs #992: Commit d45ad2c pushed by seL4-ci
October 24, 2024 04:35 2h 51m 57s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 24, 2024 04:35 2h 51m 57s
manifest-update Proofs #991: Repository dispatch triggered by seL4-ci
October 24, 2024 04:34 6h 22m 49s
October 24, 2024 04:34 6h 22m 49s
github: add imx8mm workflow for branch push Proofs #990: Commit 8063545 pushed by seL4-ci
October 24, 2024 04:34 2h 34m 44s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 24, 2024 04:34 2h 34m 44s
x64 crefine: remove unused lemmas Proofs #989: Commit f8016c1 pushed by lsf37
October 24, 2024 04:33 58m 18s master
master
October 24, 2024 04:33 58m 18s
manifest-update Proofs #988: Repository dispatch triggered by seL4-ci
October 20, 2024 23:39 3h 0m 43s
October 20, 2024 23:39 3h 0m 43s
rt crefine: prove cancelBadgedSends_ccorres Proofs #987: Commit 0c4fbc2 pushed by lsf37
October 20, 2024 23:36 2h 46m 32s rt
rt
October 20, 2024 23:36 2h 46m 32s
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