Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rebase Rebase #9: Repository dispatch triggered by github-actions bot
September 16, 2024 11:35 29s
September 16, 2024 11:35 29s
manifest-update Proofs #975: Repository dispatch triggered by seL4-ci
September 16, 2024 11:35 18m 51s
September 16, 2024 11:35 18m 51s
External External #76: Scheduled
September 15, 2024 15:02 26m 0s master
master
September 15, 2024 15:02 26m 0s
Weekly Clean Weekly Clean #164: Scheduled
September 14, 2024 15:03 3h 39m 21s master
master
September 14, 2024 15:03 3h 39m 21s
Prove cancelBadgedSends_ccorres CI #3246: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 28s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 13, 2024 11:56 28s
Prove cancelBadgedSends_ccorres PR #2723: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 49s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 13, 2024 11:56 49s
Prove cancelBadgedSends_ccorres Proof PR #3026: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 2h 54m 12s
September 13, 2024 11:56 2h 54m 12s
Prove cancelBadgedSends_ccorres Lint #91: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 49s
September 13, 2024 11:56 49s
Update decodeSetSchedParams CI #3245: Pull request #818 opened by michaelmcinerney
September 12, 2024 03:05 28s michaelm-decodeSetSchedParams
michaelm-decodeSetSchedParams
September 12, 2024 03:05 28s
Update decodeSetSchedParams PR #2722: Pull request #818 opened by michaelmcinerney
September 12, 2024 03:05 54s michaelm-decodeSetSchedParams
michaelm-decodeSetSchedParams
September 12, 2024 03:05 54s
Update decodeSetSchedParams Proof PR #3025: Pull request #818 opened by michaelmcinerney
September 12, 2024 03:05 2h 42m 25s
September 12, 2024 03:05 2h 42m 25s
Update decodeSetSchedParams Lint #90: Pull request #818 opened by michaelmcinerney
September 12, 2024 03:05 49s
September 12, 2024 03:05 49s
Prove cancelBadgedSends_ccorres CI #3244: Pull request #816 synchronize by michaelmcinerney
September 11, 2024 13:57 25s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 11, 2024 13:57 25s
Prove cancelBadgedSends_ccorres PR #2721: Pull request #816 synchronize by michaelmcinerney
September 11, 2024 13:57 52s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 11, 2024 13:57 52s
Prove cancelBadgedSends_ccorres Proof PR #3024: Pull request #816 synchronize by michaelmcinerney
September 11, 2024 13:57 1h 19m 12s
September 11, 2024 13:57 1h 19m 12s
Prove cancelBadgedSends_ccorres Lint #89: Pull request #816 synchronize by michaelmcinerney
September 11, 2024 13:57 51s
September 11, 2024 13:57 51s
Prove cancelBadgedSends_ccorres PR #2720: Pull request #816 synchronize by michaelmcinerney
September 10, 2024 03:01 52s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 10, 2024 03:01 52s
Prove cancelBadgedSends_ccorres CI #3243: Pull request #816 synchronize by michaelmcinerney
September 10, 2024 03:01 21s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 10, 2024 03:01 21s
Prove cancelBadgedSends_ccorres Lint #88: Pull request #816 synchronize by michaelmcinerney
September 10, 2024 03:01 47s
September 10, 2024 03:01 47s
Prove cancelBadgedSends_ccorres Proof PR #3023: Pull request #816 synchronize by michaelmcinerney
September 10, 2024 03:01 1h 14m 31s
September 10, 2024 03:01 1h 14m 31s
Lemmas for simplifying masking and thread states PR #2719: Pull request #817 synchronize by michaelmcinerney
September 10, 2024 02:56 53s michaelm-mask_thread_state
michaelm-mask_thread_state
September 10, 2024 02:56 53s
Lemmas for simplifying masking and thread states Lint #87: Pull request #817 synchronize by michaelmcinerney
September 10, 2024 02:56 50s
September 10, 2024 02:56 50s
Lemmas for simplifying masking and thread states CI #3242: Pull request #817 synchronize by michaelmcinerney
September 10, 2024 02:56 29s michaelm-mask_thread_state
michaelm-mask_thread_state
September 10, 2024 02:56 29s
Lemmas for simplifying masking and thread states Proof PR #3022: Pull request #817 synchronize by michaelmcinerney
September 10, 2024 02:56 2h 13m 57s
September 10, 2024 02:56 2h 13m 57s
Lemmas for simplifying masking and thread states PR #2718: Pull request #817 opened by michaelmcinerney
September 9, 2024 04:16 56s michaelm-mask_thread_state
michaelm-mask_thread_state
September 9, 2024 04:16 56s