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

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 In progress
February 25, 2025 09:10 In progress
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
Rules for Lib, February '25 edition Proof PR #3185: Pull request #857 opened by michaelmcinerney
February 25, 2025 01:42 3h 13m 48s
February 25, 2025 01:42 3h 13m 48s
Rules for Lib, February '25 edition CI #3425: Pull request #857 opened by michaelmcinerney
February 25, 2025 01:42 28s michaelm-rules_for_Lib_Feb25
michaelm-rules_for_Lib_Feb25
February 25, 2025 01:42 28s
Rules for Lib, February '25 edition PR #2880: Pull request #857 opened by michaelmcinerney
February 25, 2025 01:42 1m 57s michaelm-rules_for_Lib_Feb25
michaelm-rules_for_Lib_Feb25
February 25, 2025 01:42 1m 57s
clib: move ccorres_cond_both' to CCorresLemmas CI #3424: Pull request #856 opened by michaelmcinerney
February 25, 2025 00:44 22s michaelm-ccorres_cond_lemma
michaelm-ccorres_cond_lemma
February 25, 2025 00:44 22s
clib: move ccorres_cond_both' to CCorresLemmas PR #2879: Pull request #856 opened by michaelmcinerney
February 25, 2025 00:44 1m 45s michaelm-ccorres_cond_lemma
michaelm-ccorres_cond_lemma
February 25, 2025 00:44 1m 45s
clib: move ccorres_cond_both' to CCorresLemmas Proof PR #3184: Pull request #856 opened by michaelmcinerney
February 25, 2025 00:44 2h 2m 31s
February 25, 2025 00:44 2h 2m 31s
clib: move ccorres_cond_both' to CCorresLemmas Lint #249: Pull request #856 opened by michaelmcinerney
February 25, 2025 00:44 47s
February 25, 2025 00:44 47s
Add GIC v3 support for AArch64 platforms PR #2878: Pull request #846 synchronize by lsf37
February 25, 2025 00:19 46s gicv3
gicv3
February 25, 2025 00:19 46s
Add GIC v3 support for AArch64 platforms CI #3423: Pull request #846 synchronize by lsf37
February 25, 2025 00:19 26s gicv3
gicv3
February 25, 2025 00:19 26s
Add GIC v3 support for AArch64 platforms Lint #248: Pull request #846 synchronize by lsf37
February 25, 2025 00:19 42s
February 25, 2025 00:19 42s
Add GIC v3 support for AArch64 platforms Proof PR #3183: Pull request #846 synchronize by lsf37
February 25, 2025 00:19 3h 11m 26s
February 25, 2025 00:19 3h 11m 26s
Add GIC v3 support for AArch64 platforms PR #2877: Pull request #846 synchronize by lsf37
February 25, 2025 00:07 54s gicv3
gicv3
February 25, 2025 00:07 54s