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

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
aarch64 cspec+crefine: pt_type ghost state + table array sizes PR #2362: Pull request #703 synchronize by lsf37
January 15, 2024 04:18 44s aarch64-ckernel
aarch64-ckernel
January 15, 2024 04:18 44s
aarch64 cspec+crefine: pt_type ghost state + table array sizes Proof PR #2672: Pull request #703 synchronize by lsf37
January 15, 2024 04:18 2h 59m 54s
January 15, 2024 04:18 2h 59m 54s
Rules for Lib CI #2789: Pull request #704 synchronize by michaelmcinerney
January 15, 2024 01:30 31s michaelm-rules_for_Lib
michaelm-rules_for_Lib
January 15, 2024 01:30 31s
Rules for Lib PR #2361: Pull request #704 synchronize by michaelmcinerney
January 15, 2024 01:30 45s michaelm-rules_for_Lib
michaelm-rules_for_Lib
January 15, 2024 01:30 45s
Rules for Lib Proof PR #2671: Pull request #704 synchronize by michaelmcinerney
January 15, 2024 01:30 5h 54m 15s
January 15, 2024 01:30 5h 54m 15s
Rules for Lib CI #2788: Pull request #704 synchronize by michaelmcinerney
January 15, 2024 01:24 42s michaelm-rules_for_Lib
michaelm-rules_for_Lib
January 15, 2024 01:24 42s
Rules for Lib PR #2360: Pull request #704 synchronize by michaelmcinerney
January 15, 2024 01:24 46s michaelm-rules_for_Lib
michaelm-rules_for_Lib
January 15, 2024 01:24 46s
Rules for Lib Proof PR #2670: Pull request #704 synchronize by michaelmcinerney
January 15, 2024 01:24 3h 27m 19s
January 15, 2024 01:24 3h 27m 19s
aarch64 cspec+crefine: pt_type ghost state + table array sizes CI #2787: Pull request #703 synchronize by lsf37
January 15, 2024 01:16 43s aarch64-ckernel
aarch64-ckernel
January 15, 2024 01:16 43s
aarch64 cspec+crefine: pt_type ghost state + table array sizes PR #2359: Pull request #703 synchronize by lsf37
January 15, 2024 01:16 1m 28s aarch64-ckernel
aarch64-ckernel
January 15, 2024 01:16 1m 28s
aarch64 cspec+crefine: pt_type ghost state + table array sizes Proof PR #2669: Pull request #703 synchronize by lsf37
January 15, 2024 01:16 3h 41m 44s
January 15, 2024 01:16 3h 41m 44s
github: add imx8mm workflow for branch push Proofs #655: Commit 17e141b pushed by seL4-ci
January 15, 2024 00:08 2h 25m 14s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
January 15, 2024 00:08 2h 25m 14s
github: add exynos5 workflow for branch push Proofs #654: Commit 3b2c5ac pushed by seL4-ci
January 15, 2024 00:08 3h 20m 5s exynos5-ver-rebased
exynos5-ver-rebased
January 15, 2024 00:08 3h 20m 5s
clib: suppress simp warnings in simpl_rewrite Proofs #653: Commit 449cfc7 pushed by lsf37
January 15, 2024 00:08 3h 49m 33s master
master
January 15, 2024 00:08 3h 49m 33s
clib: suppress simp warnings in simpl_rewrite CI #2786: Commit 449cfc7 pushed by lsf37
January 15, 2024 00:08 1m 41s master
master
January 15, 2024 00:08 1m 41s
Rules for Lib PR #2358: Pull request #704 synchronize by michaelmcinerney
January 14, 2024 15:40 43s michaelm-rules_for_Lib
michaelm-rules_for_Lib
January 14, 2024 15:40 43s
Rules for Lib CI #2785: Pull request #704 synchronize by michaelmcinerney
January 14, 2024 15:40 1m 2s michaelm-rules_for_Lib
michaelm-rules_for_Lib
January 14, 2024 15:40 1m 2s
Rules for Lib Proof PR #2668: Pull request #704 synchronize by michaelmcinerney
January 14, 2024 15:40 3h 41m 21s
January 14, 2024 15:40 3h 41m 21s
Weekly Clean Weekly Clean #129: Scheduled
January 13, 2024 15:03 3h 55m 49s master
master
January 13, 2024 15:03 3h 55m 49s
manifest-update Proofs #652: Repository dispatch triggered by seL4-ci
January 12, 2024 23:38 3h 49m 4s
January 12, 2024 23:38 3h 49m 4s
Suppress simplifier warnings in corres_rewrite PR #2357: Pull request #705 opened by lsf37
January 12, 2024 23:25 4m 18s quiet_corres_rewrite
quiet_corres_rewrite
January 12, 2024 23:25 4m 18s
ProTip! You can narrow down the results and go further in time using created:<2024-01-12 or the other filters available.