Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lib: add Heap_List to ROOT CI #2797: Commit dd315e1 pushed by michaelmcinerney
January 16, 2024 00:51 27s master
master
January 16, 2024 00:51 27s
github: add imx8mm workflow for branch push Proofs #663: Commit d54f373 pushed by seL4-ci
January 16, 2024 00:40 28m 52s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
January 16, 2024 00:40 28m 52s
manifest-update Proofs #662: Repository dispatch triggered by seL4-ci
January 16, 2024 00:39 1h 41m 59s
January 16, 2024 00:39 1h 41m 59s
C Parser homepage CI #2796: Pull request #707 opened by lsf37
January 16, 2024 00:34 31s parser-homepage
parser-homepage
January 16, 2024 00:34 31s
C Parser homepage PR #2366: Pull request #707 opened by lsf37
January 16, 2024 00:34 45s parser-homepage
parser-homepage
January 16, 2024 00:34 45s
C Parser homepage Proof PR #2676: Pull request #707 opened by lsf37
January 16, 2024 00:34 14m 43s
January 16, 2024 00:34 14m 43s
lib: add Heap_List to ROOT CI #2795: Pull request #706 synchronize by michaelmcinerney
January 16, 2024 00:27 1m 14s michaelm-Heap_List_to_ROOT
michaelm-Heap_List_to_ROOT
January 16, 2024 00:27 1m 14s
lib: add Heap_List to ROOT PR #2365: Pull request #706 synchronize by michaelmcinerney
January 16, 2024 00:27 1m 0s michaelm-Heap_List_to_ROOT
michaelm-Heap_List_to_ROOT
January 16, 2024 00:27 1m 0s
lib: add Heap_List to ROOT Proof PR #2675: Pull request #706 synchronize by michaelmcinerney
January 16, 2024 00:27 17m 6s
January 16, 2024 00:27 17m 6s
github: add imx8mm workflow for branch push Proofs #661: Commit 8f1fdde pushed by seL4-ci
January 15, 2024 23:02 27m 53s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
January 15, 2024 23:02 27m 53s
github: add exynos5 workflow for branch push Proofs #660: Commit b9665cd pushed by seL4-ci
January 15, 2024 23:02 14m 18s exynos5-ver-rebased
exynos5-ver-rebased
January 15, 2024 23:02 14m 18s
aarch64 machine+aspec+cspec: pt_type ghost+table array sizes CI #2794: Commit 52b4ba5 pushed by lsf37
January 15, 2024 23:01 42s master
master
January 15, 2024 23:01 42s
aarch64 machine+aspec+cspec: pt_type ghost+table array sizes Proofs #659: Commit 52b4ba5 pushed by lsf37
January 15, 2024 23:01 1h 44m 53s master
master
January 15, 2024 23:01 1h 44m 53s
aarch64 cspec+crefine: pt_type ghost state + table array sizes PR #2364: Pull request #703 synchronize by lsf37
January 15, 2024 22:00 47s aarch64-ckernel
aarch64-ckernel
January 15, 2024 22:00 47s
aarch64 cspec+crefine: pt_type ghost state + table array sizes CI #2793: Pull request #703 synchronize by lsf37
January 15, 2024 22:00 21s aarch64-ckernel
aarch64-ckernel
January 15, 2024 22:00 21s
aarch64 cspec+crefine: pt_type ghost state + table array sizes Proof PR #2674: Pull request #703 synchronize by lsf37
January 15, 2024 22:00 1h 38m 23s
January 15, 2024 22:00 1h 38m 23s
External External #60: Scheduled
January 15, 2024 15:02 3h 35m 45s master
master
January 15, 2024 15:02 3h 35m 45s
lib: add Heap_List to ROOT Proof PR #2673: Pull request #706 opened by michaelmcinerney
January 15, 2024 07:44 3h 0m 9s
January 15, 2024 07:44 3h 0m 9s
lib: add Heap_List to ROOT CI #2792: Pull request #706 opened by michaelmcinerney
January 15, 2024 07:44 1m 5s michaelm-Heap_List_to_ROOT
michaelm-Heap_List_to_ROOT
January 15, 2024 07:44 1m 5s
lib: add Heap_List to ROOT PR #2363: Pull request #706 opened by michaelmcinerney
January 15, 2024 07:44 43s michaelm-Heap_List_to_ROOT
michaelm-Heap_List_to_ROOT
January 15, 2024 07:44 43s
github: add exynos5 workflow for branch push Proofs #658: Commit 42ddbaf pushed by seL4-ci
January 15, 2024 07:38 3h 28m 33s exynos5-ver-rebased
exynos5-ver-rebased
January 15, 2024 07:38 3h 28m 33s
github: add imx8mm workflow for branch push Proofs #657: Commit de38d3e pushed by seL4-ci
January 15, 2024 07:38 2h 22m 27s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
January 15, 2024 07:38 2h 22m 27s
lib: some sym_heap lemmas regarding heap updates CI #2791: Commit afcbba9 pushed by michaelmcinerney
January 15, 2024 07:38 43s master
master
January 15, 2024 07:38 43s
lib: some sym_heap lemmas regarding heap updates Proofs #656: Commit afcbba9 pushed by michaelmcinerney
January 15, 2024 07:38 3h 47m 25s master
master
January 15, 2024 07:38 3h 47m 25s
aarch64 cspec+crefine: pt_type ghost state + table array sizes CI #2790: Pull request #703 synchronize by lsf37
January 15, 2024 04:18 1m 5s aarch64-ckernel
aarch64-ckernel
January 15, 2024 04:18 1m 5s
ProTip! You can narrow down the results and go further in time using created:<2024-01-15 or the other filters available.