Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow run results
178 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update proofs for AArch64 seL4 PR CI #2627: Pull request #663 synchronize by lsf37
August 14, 2023 07:27 22s enum-reorder
enum-reorder
August 14, 2023 07:27 22s
Update proofs for AArch64 seL4 PR PR #2241: Pull request #663 synchronize by lsf37
August 14, 2023 07:27 1m 14s enum-reorder
enum-reorder
August 14, 2023 07:27 1m 14s
Update proofs for AArch64 seL4 PR Proof PR #2542: Pull request #663 synchronize by lsf37
August 14, 2023 07:27 3h 40m 57s
August 14, 2023 07:27 3h 40m 57s
manifest-update Proofs #533: Repository dispatch triggered by seL4-ci
August 14, 2023 05:45 3h 5m 6s
August 14, 2023 05:45 3h 5m 6s
manifest-update Proofs #532: Repository dispatch triggered by seL4-ci
August 13, 2023 01:32 4h 51m 1s
August 13, 2023 01:32 4h 51m 1s
manifest-update Proofs #531: Repository dispatch triggered by seL4-ci
August 13, 2023 01:14 3h 46m 25s
August 13, 2023 01:14 3h 46m 25s
Weekly Clean Weekly Clean #107: Scheduled
August 12, 2023 15:03 3h 55m 29s master
master
August 12, 2023 15:03 3h 55m 29s
Update proofs for AArch64 seL4 PR PR #2240: Pull request #663 synchronize by lsf37
August 12, 2023 06:11 1m 4s enum-reorder
enum-reorder
August 12, 2023 06:11 1m 4s
Update proofs for AArch64 seL4 PR CI #2626: Pull request #663 synchronize by lsf37
August 12, 2023 06:11 23s enum-reorder
enum-reorder
August 12, 2023 06:11 23s
Update proofs for AArch64 seL4 PR Proof PR #2541: Pull request #663 synchronize by lsf37
August 12, 2023 06:11 1h 55m 0s
August 12, 2023 06:11 1h 55m 0s
Update proofs for AArch64 seL4 PR Proof PR #2540: Pull request #663 opened by lsf37
August 11, 2023 18:37 2h 57m 43s
August 11, 2023 18:37 2h 57m 43s
Update proofs for AArch64 seL4 PR CI #2625: Pull request #663 opened by lsf37
August 11, 2023 18:37 28s enum-reorder
enum-reorder
August 11, 2023 18:37 28s
Update proofs for AArch64 seL4 PR PR #2239: Pull request #663 opened by lsf37
August 11, 2023 18:37 59s enum-reorder
enum-reorder
August 11, 2023 18:37 59s
manifest-update Proofs #530: Repository dispatch triggered by seL4-ci
August 10, 2023 07:29 2h 46m 54s
August 10, 2023 07:29 2h 46m 54s
github: add exynos5 workflow for branch push Proofs #529: Commit 2d26497 pushed by seL4-ci
August 9, 2023 06:42 3h 27m 20s exynos5-ver-rebased
exynos5-ver-rebased
August 9, 2023 06:42 3h 27m 20s
github: add imx8mm workflow for branch push Proofs #528: Commit 8ce09d0 pushed by seL4-ci
August 9, 2023 06:42 2h 34m 24s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 9, 2023 06:42 2h 34m 24s
proof+autocorres: update for select_wp and alternative_wp Proofs #527: Commit 0211681 pushed by corlewis
August 9, 2023 06:42 3h 54m 20s master
master
August 9, 2023 06:42 3h 54m 20s
proof+autocorres: update for select_wp and alternative_wp CI #2624: Commit 0211681 pushed by corlewis
August 9, 2023 06:42 25s master
master
August 9, 2023 06:42 25s
Add select_wp and alternative_wp to wp PR #2238: Pull request #661 synchronize by corlewis
August 9, 2023 02:12 1m 11s corlewis:nondet_add_wp
corlewis:nondet_add_wp
August 9, 2023 02:12 1m 11s
Add select_wp and alternative_wp to wp CI #2623: Pull request #661 synchronize by corlewis
August 9, 2023 02:12 22s corlewis:nondet_add_wp
corlewis:nondet_add_wp
August 9, 2023 02:12 22s
Add select_wp and alternative_wp to wp Proof PR #2539: Pull request #661 synchronize by corlewis
August 9, 2023 02:12 6h 19m 59s
August 9, 2023 02:12 6h 19m 59s
Add select_wp and alternative_wp to wp Proof PR #2538: Pull request #661 synchronize by corlewis
August 9, 2023 02:10 4h 29m 50s
August 9, 2023 02:10 4h 29m 50s
Add select_wp and alternative_wp to wp CI #2622: Pull request #661 synchronize by corlewis
August 9, 2023 02:10 28s corlewis:nondet_add_wp
corlewis:nondet_add_wp
August 9, 2023 02:10 28s
Add select_wp and alternative_wp to wp PR #2237: Pull request #661 synchronize by corlewis
August 9, 2023 02:10 56s corlewis:nondet_add_wp
corlewis:nondet_add_wp
August 9, 2023 02:10 56s
github: add exynos5 workflow for branch push Proofs #526: Commit 9f0f76e pushed by seL4-ci
August 9, 2023 02:07 3h 55m 7s exynos5-ver-rebased
exynos5-ver-rebased
August 9, 2023 02:07 3h 55m 7s