Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

manifest-update Proofs #1296: Repository dispatch triggered by seL4-ci
2h 48m 57s
2h 48m 57s
manifest-update Proofs #1295: Repository dispatch triggered by seL4-ci
2h 56m 4s
2h 56m 4s
arm+arm-hyp haskell: remove where-clause warning Proofs #1294: Commit 2097b06 pushed by lsf37
3h 30m 55s master
master
3h 30m 55s
manifest-update Proofs #1293: Repository dispatch triggered by seL4-ci
2h 45m 19s
2h 45m 19s
aspec+ainvs+refine: consolidate cap_class/capClass Proofs #1292: Commit a86c56d pushed by lsf37
8m 6s master
master
8m 6s
manifest-update Proofs #1291: Repository dispatch triggered by seL4-ci
28m 4s
28m 4s
rt haskell+refine+crefine: prove finaliseCap_ccorres Proofs #1290: Commit 46c1d1c pushed by lsf37
2h 37m 57s rt
rt
2h 37m 57s
github: add rt PR test workflow to master Proofs #1289: Commit 608c697 pushed by lsf37
3h 12m 58s rt
rt
3h 12m 58s
github: add rt PR test workflow to master Proofs #1288: Commit 64ba2d3 pushed by lsf37
3h 21m 30s master
master
3h 21m 30s
manifest-update Proofs #1287: Repository dispatch triggered by seL4-ci
7m 8s
7m 8s
rt crefine: prove decodeInvocation_ccorres Proofs #1286: Commit 03b49d7 pushed by lsf37
19m 17s rt
rt
19m 17s
refine: add wordBits_word_bits to Bits_R Proofs #1285: Commit 748e983 pushed by michaelmcinerney
2h 38m 48s master
master
2h 38m 48s
refine+crefine: update for Schedule_R arch-split Proofs #1284: Commit e685272 pushed by Xaphiosis
2h 35m 15s master
master
2h 35m 15s
rt spec+proof: update after merge Proofs #1283: Commit 6d75119 pushed by corlewis
3h 19m 3s rt
rt
3h 19m 3s
spec+proofs: backport minor cleanup from rt Proofs #1282: Commit ba327ba pushed by corlewis
3h 1m 32s master
master
3h 1m 32s
lib: provide corres_del; reduce warnings in corres Proofs #1281: Commit 792e6b9 pushed by lsf37
3h 55m 1s master
master
3h 55m 1s
manifest-update Proofs #1280: Repository dispatch triggered by seL4-ci
3h 19m 50s
3h 19m 50s
manifest-update Proofs #1279: Repository dispatch triggered by seL4-ci
2h 50m 10s
2h 50m 10s
manifest-update Proofs #1278: Repository dispatch triggered by seL4-ci
21m 51s
21m 51s
manifest-update Proofs #1277: Repository dispatch triggered by seL4-ci
3h 13m 11s
3h 13m 11s
manifest-update Proofs #1276: Repository dispatch triggered by seL4-ci
3h 47m 58s
3h 47m 58s
monads: make invariant notation bidirectional Proofs #1275: Commit c20f827 pushed by lsf37
4h 10m 35s master
master
4h 10m 35s
manifest-update Proofs #1274: Repository dispatch triggered by seL4-ci
3h 15m 45s
3h 15m 45s
manifest-update Proofs #1273: Repository dispatch triggered by seL4-ci
2h 57m 44s
2h 57m 44s
manifest-update Proofs #1272: Repository dispatch triggered by seL4-ci
19m 34s
19m 34s