Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rebase Rebase #72: Repository dispatch triggered by github-actions bot
February 26, 2025 07:03 28s
February 26, 2025 07:03 28s
manifest-update Proofs #1063: Repository dispatch triggered by seL4-ci
February 26, 2025 07:01 In progress
February 26, 2025 07:01 In progress
Add GIC v3 support for AArch64 platforms PR #2884: Pull request #846 synchronize by lsf37
February 26, 2025 04:49 20m 9s gicv3
gicv3
February 26, 2025 04:49 20m 9s
Add GIC v3 support for AArch64 platforms CI #3430: Pull request #846 synchronize by lsf37
February 26, 2025 04:49 15m 8s gicv3
gicv3
February 26, 2025 04:49 15m 8s
Add GIC v3 support for AArch64 platforms Proof PR #3190: Pull request #846 synchronize by lsf37
February 26, 2025 04:49 3h 38m 16s
February 26, 2025 04:49 3h 38m 16s
Add GIC v3 support for AArch64 platforms Lint #255: Pull request #846 synchronize by lsf37
February 26, 2025 04:49 19m 46s
February 26, 2025 04:49 19m 46s
Use projections in schedulable Proof PR #3189: Pull request #855 synchronize by michaelmcinerney
February 26, 2025 04:21 43s
February 26, 2025 04:21 43s
Use projections in schedulable Lint #254: Pull request #855 synchronize by michaelmcinerney
February 26, 2025 04:21 1m 25s
February 26, 2025 04:21 1m 25s
Rules for Lib, February '25 edition Proof PR #3188: Pull request #857 synchronize by michaelmcinerney
February 26, 2025 01:55 3h 24m 58s
February 26, 2025 01:55 3h 24m 58s
Rules for Lib, February '25 edition CI #3429: Pull request #857 synchronize by michaelmcinerney
February 26, 2025 01:55 6m 27s michaelm-rules_for_Lib_Feb25
michaelm-rules_for_Lib_Feb25
February 26, 2025 01:55 6m 27s
Rules for Lib, February '25 edition Lint #253: Pull request #857 synchronize by michaelmcinerney
February 26, 2025 01:55 2m 21s
February 26, 2025 01:55 2m 21s
Rules for Lib, February '25 edition PR #2883: Pull request #857 synchronize by michaelmcinerney
February 26, 2025 01:55 7m 47s michaelm-rules_for_Lib_Feb25
michaelm-rules_for_Lib_Feb25
February 26, 2025 01:55 7m 47s
Rules for Lib, February '25 edition CI #3428: Pull request #857 synchronize by michaelmcinerney
February 25, 2025 09:10 27s michaelm-rules_for_Lib_Feb25
michaelm-rules_for_Lib_Feb25
February 25, 2025 09:10 27s
Rules for Lib, February '25 edition PR #2882: Pull request #857 synchronize by michaelmcinerney
February 25, 2025 09:10 1m 0s michaelm-rules_for_Lib_Feb25
michaelm-rules_for_Lib_Feb25
February 25, 2025 09:10 1m 0s
Rules for Lib, February '25 edition Proof PR #3187: Pull request #857 synchronize by michaelmcinerney
February 25, 2025 09:10 3h 1m 46s
February 25, 2025 09:10 3h 1m 46s
Rules for Lib, February '25 edition Lint #252: Pull request #857 synchronize by michaelmcinerney
February 25, 2025 09:10 46s
February 25, 2025 09:10 46s
rebase Rebase #71: Repository dispatch triggered by github-actions bot
February 25, 2025 03:19 29s
February 25, 2025 03:19 29s
manifest-update Proofs #1062: Repository dispatch triggered by seL4-ci
February 25, 2025 03:19 2h 55m 30s
February 25, 2025 03:19 2h 55m 30s
rt riscv refine: add sym_refs_asrt_def to global [simp] set CI #3427: Commit 443a311 pushed by michaelmcinerney
February 25, 2025 02:25 26s rt
rt
February 25, 2025 02:25 26s
rt riscv refine: add sym_refs_asrt_def to global [simp] set Proofs #1061: Commit 443a311 pushed by michaelmcinerney
February 25, 2025 02:25 2h 27m 36s rt
rt
February 25, 2025 02:25 2h 27m 36s
Small IPC lemmas PR #2881: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 01:46 53s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
February 25, 2025 01:46 53s
Small IPC lemmas CI #3426: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 01:46 21s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
February 25, 2025 01:46 21s
Small IPC lemmas Lint #251: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 01:46 49s
February 25, 2025 01:46 49s
Small IPC lemmas Proof PR #3186: Pull request #822 synchronize by michaelmcinerney
February 25, 2025 01:46 13m 24s
February 25, 2025 01:46 13m 24s
Rules for Lib, February '25 edition Lint #250: Pull request #857 opened by michaelmcinerney
February 25, 2025 01:42 50s
February 25, 2025 01:42 50s