Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,610 workflow runs
2,610 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove finaliseCap_ccorres PR #3295: Pull request #962 synchronize by michaelmcinerney
1m 5s michaelm-finaliseCap
michaelm-finaliseCap
1m 5s
Prove finaliseCap_ccorres CI #3919: Pull request #962 synchronize by michaelmcinerney
40s michaelm-finaliseCap
michaelm-finaliseCap
40s
Prove finaliseCap_ccorres Lint #673: Pull request #962 synchronize by michaelmcinerney
1m 6s
1m 6s
Prove finaliseCap_ccorres MCS Proof PR #2: Pull request #962 synchronize by michaelmcinerney
1h 27m 9s
1h 27m 9s
Prove finaliseCap_ccorres CI #3918: Pull request #962 opened by michaelmcinerney
46s michaelm-finaliseCap
michaelm-finaliseCap
46s
Prove finaliseCap_ccorres PR #3294: Pull request #962 opened by michaelmcinerney
1m 2s michaelm-finaliseCap
michaelm-finaliseCap
1m 2s
Prove finaliseCap_ccorres MCS Proof PR #1: Pull request #962 opened by michaelmcinerney
3h 23m 29s
3h 23m 29s
Prove finaliseCap_ccorres Lint #672: Pull request #962 opened by michaelmcinerney
1m 3s
1m 3s
github: add rt PR test workflow to master Proofs #1289: Commit 608c697 pushed by lsf37
3h 12m 58s rt
rt
3h 12m 58s
rebase Rebase #247: Repository dispatch triggered by github-actions bot
21s
21s
github: add rt PR test workflow to master CI #3917: Commit 64ba2d3 pushed by lsf37
38s master
master
38s
github: add rt PR test workflow to master Proofs #1288: Commit 64ba2d3 pushed by lsf37
3h 21m 30s master
master
3h 21m 30s
rebase Rebase #246: Repository dispatch triggered by github-actions bot
23s
23s
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
Update GitHub workflows for rt pull requests PR #3293: Pull request #961 opened by lsf37
58s rt-proof-workflow
rt-proof-workflow
58s
Update GitHub workflows for rt pull requests CI #3916: Pull request #961 opened by lsf37
44s rt-proof-workflow
rt-proof-workflow
44s
Update GitHub workflows for rt pull requests Proof PR #3598: Pull request #961 opened by lsf37
3h 23m 53s
3h 23m 53s
Update GitHub workflows for rt pull requests Lint #671: Pull request #961 opened by lsf37
1m 9s
1m 9s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres PR #3292: Pull request #902 synchronize by michaelmcinerney
1m 15s michaelm-decodeSchedControl
michaelm-decodeSchedControl
1m 15s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres CI #3915: Pull request #902 synchronize by michaelmcinerney
1m 2s michaelm-decodeSchedControl
michaelm-decodeSchedControl
1m 2s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres Lint #670: Pull request #902 synchronize by michaelmcinerney
1m 9s
1m 9s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres Proof PR #3597: Pull request #902 synchronize by michaelmcinerney
2h 25m 14s
2h 25m 14s
rebase Rebase #245: Repository dispatch triggered by github-actions bot
22s
22s
refine: add wordBits_word_bits to Bits_R CI #3914: Commit 748e983 pushed by michaelmcinerney
54s master
master
54s