Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add GIC v3 support for AArch64 platforms CI #3422: Pull request #846 synchronize by lsf37
February 25, 2025 00:07 24s gicv3
gicv3
February 25, 2025 00:07 24s
Add GIC v3 support for AArch64 platforms Lint #247: Pull request #846 synchronize by lsf37
February 25, 2025 00:07 44s
February 25, 2025 00:07 44s
Add GIC v3 support for AArch64 platforms Proof PR #3182: Pull request #846 synchronize by lsf37
February 25, 2025 00:07 11m 49s
February 25, 2025 00:07 11m 49s
Small IPC lemmas Proof PR #3181: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 00:04 1h 15m 44s
February 25, 2025 00:04 1h 15m 44s
Small IPC lemmas Lint #246: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 00:04 43s
February 25, 2025 00:04 43s
Small IPC lemmas PR #2876: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 00:04 48s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
February 25, 2025 00:04 48s
Small IPC lemmas CI #3421: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 00:04 28s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
February 25, 2025 00:04 28s
rebase Rebase #70: Repository dispatch triggered by github-actions bot
February 24, 2025 23:57 24s
February 24, 2025 23:57 24s
manifest-update Proofs #1060: Repository dispatch triggered by seL4-ci
February 24, 2025 23:57 2h 7m 50s
February 24, 2025 23:57 2h 7m 50s
Small IPC lemmas PR #2875: Pull request #822 synchronize by michaelmcinerney
February 24, 2025 02:16 58s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
February 24, 2025 02:16 58s
Small IPC lemmas CI #3420: Pull request #822 synchronize by michaelmcinerney
February 24, 2025 02:16 22s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
February 24, 2025 02:16 22s
Small IPC lemmas Lint #245: Pull request #822 synchronize by michaelmcinerney
February 24, 2025 02:16 51s
February 24, 2025 02:16 51s
Small IPC lemmas Proof PR #3180: Pull request #822 synchronize by michaelmcinerney
February 24, 2025 02:16 2h 15m 49s
February 24, 2025 02:16 2h 15m 49s
Use projections in schedulable CI #3419: Pull request #855 opened by michaelmcinerney
February 24, 2025 01:50 27s michaelm-schedulable_projections
michaelm-schedulable_projections
February 24, 2025 01:50 27s
Use projections in schedulable PR #2874: Pull request #855 opened by michaelmcinerney
February 24, 2025 01:50 1m 2s michaelm-schedulable_projections
michaelm-schedulable_projections
February 24, 2025 01:50 1m 2s
Use projections in schedulable Proof PR #3179: Pull request #855 opened by michaelmcinerney
February 24, 2025 01:50 2h 26m 30s
February 24, 2025 01:50 2h 26m 30s
Use projections in schedulable Lint #244: Pull request #855 opened by michaelmcinerney
February 24, 2025 01:50 47s
February 24, 2025 01:50 47s
Weekly Clean Weekly Clean #187: Scheduled
February 22, 2025 15:03 3h 40m 50s master
master
February 22, 2025 15:03 3h 40m 50s
rebase Rebase #69: Repository dispatch triggered by github-actions bot
February 21, 2025 07:42 25s
February 21, 2025 07:42 25s
manifest-update Proofs #1059: Repository dispatch triggered by seL4-ci
February 21, 2025 07:41 18m 46s
February 21, 2025 07:41 18m 46s
rt spec+proof: prove refill_budget_check_ccorres Proofs #1058: Commit b069f59 pushed by michaelmcinerney
February 19, 2025 03:13 2h 42m 37s rt
rt
February 19, 2025 03:13 2h 42m 37s
rt spec+proof: prove refill_budget_check_ccorres CI #3418: Commit b069f59 pushed by michaelmcinerney
February 19, 2025 03:13 27s rt
rt
February 19, 2025 03:13 27s
refill_budget_check_ccorres Proof PR #3178: Pull request #821 synchronize by michaelmcinerney
February 19, 2025 02:59 11m 30s
February 19, 2025 02:59 11m 30s
refill_budget_check_ccorres Lint #243: Pull request #821 synchronize by michaelmcinerney
February 19, 2025 02:59 47s
February 19, 2025 02:59 47s
refill_budget_check_ccorres CI #3417: Pull request #821 synchronize by michaelmcinerney
February 19, 2025 02:59 30s michaelm-rbc_ccorres
michaelm-rbc_ccorres
February 19, 2025 02:59 30s