Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

External External #97: Scheduled
August 1, 2025 15:03 4h 20m 14s master
master
August 1, 2025 15:03 4h 20m 14s
rebase Rebase #168: Repository dispatch triggered by github-actions bot
August 1, 2025 11:48 1m 24s
August 1, 2025 11:48 1m 24s
manifest-update Proofs #1201: Repository dispatch triggered by seL4-ci
August 1, 2025 11:46 3h 0m 50s
August 1, 2025 11:46 3h 0m 50s
rebase Rebase #167: Repository dispatch triggered by github-actions bot
August 1, 2025 10:50 1m 4s
August 1, 2025 10:50 1m 4s
manifest-update Proofs #1200: Repository dispatch triggered by seL4-ci
August 1, 2025 10:49 29m 21s
August 1, 2025 10:49 29m 21s
rebase Rebase #166: Repository dispatch triggered by github-actions bot
August 1, 2025 10:34 20s
August 1, 2025 10:34 20s
manifest-update Proofs #1199: Repository dispatch triggered by seL4-ci
August 1, 2025 10:33 16m 38s
August 1, 2025 10:33 16m 38s
rebase Rebase #165: Repository dispatch triggered by github-actions bot
July 31, 2025 04:36 20s
July 31, 2025 04:36 20s
manifest-update Proofs #1198: Repository dispatch triggered by seL4-ci
July 31, 2025 04:36 3h 7m 2s
July 31, 2025 04:36 3h 7m 2s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres CI #3716: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 04:31 1m 33s michaelm-decodeSchedControl
michaelm-decodeSchedControl
July 31, 2025 04:31 1m 33s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres PR #3127: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 04:31 2m 5s michaelm-decodeSchedControl
michaelm-decodeSchedControl
July 31, 2025 04:31 2m 5s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres Proof PR #3435: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 04:31 58m 18s
July 31, 2025 04:31 58m 18s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres Lint #503: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 04:31 1m 0s
July 31, 2025 04:31 1m 0s
rebase Rebase #164: Repository dispatch triggered by github-actions bot
July 31, 2025 01:14 20s
July 31, 2025 01:14 20s
lib: make det_wp_pre [wp_pre] CI #3715: Commit 48482a1 pushed by michaelmcinerney
July 31, 2025 01:14 1m 28s master
master
July 31, 2025 01:14 1m 28s
lib: make det_wp_pre [wp_pre] Proofs #1197: Commit 48482a1 pushed by michaelmcinerney
July 31, 2025 01:14 3h 10m 30s master
master
July 31, 2025 01:14 3h 10m 30s
Add det_wp_whileLoop PR #3126: Pull request #903 synchronize by michaelmcinerney
July 31, 2025 00:56 2m 11s michaelm-det_wp
michaelm-det_wp
July 31, 2025 00:56 2m 11s
Add det_wp_whileLoop CI #3714: Pull request #903 synchronize by michaelmcinerney
July 31, 2025 00:56 1m 38s michaelm-det_wp
michaelm-det_wp
July 31, 2025 00:56 1m 38s
Add det_wp_whileLoop Proof PR #3434: Pull request #903 synchronize by michaelmcinerney
July 31, 2025 00:56 13m 24s
July 31, 2025 00:56 13m 24s
Add det_wp_whileLoop Lint #502: Pull request #903 synchronize by michaelmcinerney
July 31, 2025 00:56 1m 8s
July 31, 2025 00:56 1m 8s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres Lint #501: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 00:54 1m 10s
July 31, 2025 00:54 1m 10s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres PR #3125: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 00:54 2m 4s michaelm-decodeSchedControl
michaelm-decodeSchedControl
July 31, 2025 00:54 2m 4s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres Proof PR #3433: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 00:54 2h 20m 42s
July 31, 2025 00:54 2h 20m 42s
Prove decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres CI #3713: Pull request #902 synchronize by michaelmcinerney
July 31, 2025 00:54 1m 18s michaelm-decodeSchedControl
michaelm-decodeSchedControl
July 31, 2025 00:54 1m 18s
rebase Rebase #163: Repository dispatch triggered by github-actions bot
July 31, 2025 00:17 20s
July 31, 2025 00:17 20s