Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Make proof generic over current seL4 RISC-V platforms CI #4210: Pull request #1024 synchronize by lsf37
1m 1s riscv-maxIRQ
riscv-maxIRQ
1m 1s
Make proof generic over current seL4 RISC-V platforms PR #3551: Pull request #1024 synchronize by lsf37
1m 16s riscv-maxIRQ
riscv-maxIRQ
1m 16s
Make proof generic over current seL4 RISC-V platforms Lint #935: Pull request #1024 synchronize by lsf37
1m 20s
1m 20s
Make proof generic over current seL4 RISC-V platforms Proof PR #3779: Pull request #1024 synchronize by lsf37
3h 37m 15s
3h 37m 15s
Make set_tcb_obj_ref an abbreviation CI #4209: Pull request #1028 synchronize by michaelmcinerney
35s michaelm-set_tcb_obj_ref
michaelm-set_tcb_obj_ref
35s
Make set_tcb_obj_ref an abbreviation PR #3550: Pull request #1028 synchronize by michaelmcinerney
1m 13s michaelm-set_tcb_obj_ref
michaelm-set_tcb_obj_ref
1m 13s
Make set_tcb_obj_ref an abbreviation Lint #934: Pull request #1028 synchronize by michaelmcinerney
1m 11s
1m 11s
Make set_tcb_obj_ref an abbreviation MCS Proof PR #82: Pull request #1028 synchronize by michaelmcinerney
3h 15m 58s
3h 15m 58s
monads + ainvs: strengthen hoare_strengthen_pre_via_assert lemmas PR #3549: Pull request #1027 synchronize by michaelmcinerney
1m 19s michaelm-hoare_strengthen_pre
michaelm-hoare_strengthen_pre
1m 19s
monads + ainvs: strengthen hoare_strengthen_pre_via_assert lemmas CI #4208: Pull request #1027 synchronize by michaelmcinerney
54s michaelm-hoare_strengthen_pre
michaelm-hoare_strengthen_pre
54s
monads + ainvs: strengthen hoare_strengthen_pre_via_assert lemmas Lint #933: Pull request #1027 synchronize by michaelmcinerney
1m 11s
1m 11s
monads + ainvs: strengthen hoare_strengthen_pre_via_assert lemmas Proof PR #3778: Pull request #1027 synchronize by michaelmcinerney
3h 37m 41s
3h 37m 41s
rebase Rebase #344: Repository dispatch triggered by github-actions Bot
25s
25s
manifest-update Proofs #1401: Repository dispatch triggered by seL4-ci
3h 2m 28s
3h 2m 28s
rebase Rebase #343: Repository dispatch triggered by github-actions Bot
27s
27s
manifest-update Proofs #1400: Repository dispatch triggered by seL4-ci
22m 55s
22m 55s
Make set_tcb_obj_ref an abbreviation CI #4207: Pull request #1028 synchronize by michaelmcinerney
35s michaelm-set_tcb_obj_ref
michaelm-set_tcb_obj_ref
35s
Make set_tcb_obj_ref an abbreviation PR #3548: Pull request #1028 synchronize by michaelmcinerney
1m 20s michaelm-set_tcb_obj_ref
michaelm-set_tcb_obj_ref
1m 20s
Make set_tcb_obj_ref an abbreviation MCS Proof PR #81: Pull request #1028 synchronize by michaelmcinerney
3h 8m 57s
3h 8m 57s
Make set_tcb_obj_ref an abbreviation Lint #932: Pull request #1028 synchronize by michaelmcinerney
1m 1s
1m 1s
Make set_tcb_obj_ref an abbreviation CI #4206: Pull request #1028 opened by michaelmcinerney
1m 10s michaelm-set_tcb_obj_ref
michaelm-set_tcb_obj_ref
1m 10s
Make set_tcb_obj_ref an abbreviation PR #3547: Pull request #1028 opened by michaelmcinerney
1m 14s michaelm-set_tcb_obj_ref
michaelm-set_tcb_obj_ref
1m 14s
Make set_tcb_obj_ref an abbreviation Lint #931: Pull request #1028 opened by michaelmcinerney
1m 17s
1m 17s
Make set_tcb_obj_ref an abbreviation MCS Proof PR #80: Pull request #1028 opened by michaelmcinerney
5m 13s
5m 13s
rebase Rebase #342: Repository dispatch triggered by github-actions Bot
35s
35s