Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof-deploy.yml
261 workflow run results
261 workflow run results

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
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
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
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
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
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
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
manifest-update Proofs #950: Repository dispatch triggered by seL4-ci
July 18, 2024 00:21 21m 30s
July 18, 2024 00:21 21m 30s
lib/monads: resync trace monad with nondet Proofs #948: Commit f00bbb7 pushed by corlewis
July 17, 2024 03:37 3h 20m 57s master
master
July 17, 2024 03:37 3h 20m 57s
manifest-update Proofs #947: Repository dispatch triggered by seL4-ci
July 16, 2024 23:19 19m 46s
July 16, 2024 23:19 19m 46s
manifest-update Proofs #946: Repository dispatch triggered by seL4-ci
July 16, 2024 08:05 2h 31m 0s
July 16, 2024 08:05 2h 31m 0s
lib: adjust corres_symb_exec_r_conj_ex_abs_forwards Proofs #944: Commit e429ff6 pushed by michaelmcinerney
July 15, 2024 09:57 2h 27m 1s master
master
July 15, 2024 09:57 2h 27m 1s
arm-hyp crefine: reduce diff to arm crefine Proofs #942: Commit a30419f pushed by lsf37
July 12, 2024 02:10 4h 18m 49s master
master
July 12, 2024 02:10 4h 18m 49s
manifest-update Proofs #941: Repository dispatch triggered by seL4-ci
July 12, 2024 01:30 3h 10m 35s
July 12, 2024 01:30 3h 10m 35s
lib+proof: move corres_add_noop_rhs and corres_add_noop_rhs2 to Lib Proofs #939: Commit d2535f2 pushed by michaelmcinerney
July 11, 2024 04:06 15m 56s master
master
July 11, 2024 04:06 15m 56s