Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
2,052 workflow runs
2,052 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Weekly Clean Weekly Clean #145: Scheduled
May 4, 2024 15:04 3h 56m 30s master
master
May 4, 2024 15:04 3h 56m 30s
Linked lists PR #2530: Pull request #752 synchronize by michaelmcinerney
May 3, 2024 05:02 56s michaelm-linked_list_on_master
michaelm-linked_list_on_master
May 3, 2024 05:02 56s
Linked lists CI #3009: Pull request #752 synchronize by michaelmcinerney
May 3, 2024 05:02 29s michaelm-linked_list_on_master
michaelm-linked_list_on_master
May 3, 2024 05:02 29s
Linked lists Proof PR #2839: Pull request #752 synchronize by michaelmcinerney
May 3, 2024 05:02 3h 5m 2s
May 3, 2024 05:02 3h 5m 2s
Linked lists Proof PR #2838: Pull request #752 opened by michaelmcinerney
May 2, 2024 15:28 3h 18m 57s
May 2, 2024 15:28 3h 18m 57s
manifest-update Proofs #831: Repository dispatch triggered by seL4-ci
May 2, 2024 09:20 17m 3s
May 2, 2024 09:20 17m 3s
manifest-update Proofs #830: Repository dispatch triggered by seL4-ci
May 2, 2024 01:17 18m 11s
May 2, 2024 01:17 18m 11s
External External #67: Scheduled
May 1, 2024 15:02 3h 15m 49s master
master
May 1, 2024 15:02 3h 15m 49s
manifest-update Proofs #829: Repository dispatch triggered by seL4-ci
April 28, 2024 00:30 17m 26s
April 28, 2024 00:30 17m 26s
Weekly Clean Weekly Clean #144: Scheduled
April 27, 2024 15:03 3h 51m 42s master
master
April 27, 2024 15:03 3h 51m 42s
github: add imx8mm workflow for branch push Proofs #828: Commit 2f059bb pushed by seL4-ci
April 24, 2024 09:56 2h 4m 54s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
April 24, 2024 09:56 2h 4m 54s
github: add exynos5 workflow for branch push Proofs #827: Commit c5eb80c pushed by seL4-ci
April 24, 2024 09:56 2h 22m 9s exynos5-ver-rebased
exynos5-ver-rebased
April 24, 2024 09:56 2h 22m 9s
lib: add wp_comb section to crunch Proofs #826: Commit eb3db4b pushed by corlewis
April 24, 2024 09:56 2h 48m 44s master
master
April 24, 2024 09:56 2h 48m 44s
lib: add wp_comb section to crunch CI #3008: Commit eb3db4b pushed by corlewis
April 24, 2024 09:56 33s master
master
April 24, 2024 09:56 33s
lib: add wp_comb section to crunch Proof PR #2837: Pull request #750 opened by corlewis
April 24, 2024 04:32 2h 21m 51s
April 24, 2024 04:32 2h 21m 51s
lib: add wp_comb section to crunch PR #2529: Pull request #750 opened by corlewis
April 24, 2024 04:32 53s corlewis:crunch_wp_comb_sect
corlewis:crunch_wp_comb_sect
April 24, 2024 04:32 53s
lib: add wp_comb section to crunch CI #3007: Pull request #750 opened by corlewis
April 24, 2024 04:32 28s corlewis:crunch_wp_comb_sect
corlewis:crunch_wp_comb_sect
April 24, 2024 04:32 28s
github: add imx8mm workflow for branch push Proofs #825: Commit cf7f2ea pushed by seL4-ci
April 22, 2024 04:33 2h 28m 11s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
April 22, 2024 04:33 2h 28m 11s
github: add exynos5 workflow for branch push Proofs #824: Commit 2c85119 pushed by seL4-ci
April 22, 2024 04:33 3h 2m 25s exynos5-ver-rebased
exynos5-ver-rebased
April 22, 2024 04:33 3h 2m 25s
proof: update for changes to wp attributes Proofs #823: Commit b7e4f59 pushed by corlewis
April 22, 2024 04:32 3h 20m 32s master
master
April 22, 2024 04:32 3h 20m 32s
proof: update for changes to wp attributes CI #3006: Commit b7e4f59 pushed by corlewis
April 22, 2024 04:32 21s master
master
April 22, 2024 04:32 21s
Make hoare_seq_ext and hoare_vcg_seqE wp rules PR #2528: Pull request #748 synchronize by corlewis
April 22, 2024 03:17 52s corlewis:hoare_seq_ext_wp
corlewis:hoare_seq_ext_wp
April 22, 2024 03:17 52s
Make hoare_seq_ext and hoare_vcg_seqE wp rules CI #3005: Pull request #748 synchronize by corlewis
April 22, 2024 03:17 25s corlewis:hoare_seq_ext_wp
corlewis:hoare_seq_ext_wp
April 22, 2024 03:17 25s
Make hoare_seq_ext and hoare_vcg_seqE wp rules Proof PR #2836: Pull request #748 synchronize by corlewis
April 22, 2024 03:17 3h 38m 47s
April 22, 2024 03:17 3h 38m 47s
github: add imx8mm workflow for branch push Proofs #822: Commit fc58b54 pushed by seL4-ci
April 22, 2024 02:06 12m 24s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
April 22, 2024 02:06 12m 24s