Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove uses of _tac methods from nondet Proof PR #2589: Pull request #671 synchronize by corlewis
October 5, 2023 01:01 4h 2m 26s
October 5, 2023 01:01 4h 2m 26s
github: add exynos5 workflow for branch push Proofs #563: Commit a25861d pushed by seL4-ci
October 5, 2023 00:32 7h 6m 1s exynos5-ver-rebased
exynos5-ver-rebased
October 5, 2023 00:32 7h 6m 1s
github: add imx8mm workflow for branch push Proofs #562: Commit 6a890ad pushed by seL4-ci
October 5, 2023 00:32 5h 8m 2s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 5, 2023 00:32 5h 8m 2s
lib/monads/trace: prove more lemmas connecting valid and validI Proofs #561: Commit 293b97c pushed by corlewis
October 5, 2023 00:32 7h 31m 31s master
master
October 5, 2023 00:32 7h 31m 31s
lib/monads/trace: prove more lemmas connecting valid and validI CI #2677: Commit 293b97c pushed by corlewis
October 5, 2023 00:32 8m 37s master
master
October 5, 2023 00:32 8m 37s
Progress on completing the trace monad rule set PR #2282: Pull request #667 synchronize by corlewis
October 5, 2023 00:28 59s corlewis:trace_more_rules
corlewis:trace_more_rules
October 5, 2023 00:28 59s
Progress on completing the trace monad rule set CI #2676: Pull request #667 synchronize by corlewis
October 5, 2023 00:28 12m 12s corlewis:trace_more_rules
corlewis:trace_more_rules
October 5, 2023 00:28 12m 12s
Progress on completing the trace monad rule set Proof PR #2588: Pull request #667 synchronize by corlewis
October 5, 2023 00:28 4h 11m 32s
October 5, 2023 00:28 4h 11m 32s
github: add imx8mm workflow for branch push Proofs #560: Commit 298de7e pushed by seL4-ci
October 5, 2023 00:24 2h 39m 45s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 5, 2023 00:24 2h 39m 45s
github: add exynos5 workflow for branch push Proofs #559: Commit 56b0187 pushed by seL4-ci
October 5, 2023 00:24 3h 36m 28s exynos5-ver-rebased
exynos5-ver-rebased
October 5, 2023 00:24 3h 36m 28s
proof: update for changes to nondet monad Proofs #558: Commit 7999632 pushed by corlewis
October 5, 2023 00:24 3h 53m 29s master
master
October 5, 2023 00:24 3h 53m 29s
proof: update for changes to nondet monad CI #2675: Commit 7999632 pushed by corlewis
October 5, 2023 00:24 26s master
master
October 5, 2023 00:24 26s
External External #53: Scheduled
October 1, 2023 15:02 4h 8m 51s master
master
October 1, 2023 15:02 4h 8m 51s
Weekly Clean Weekly Clean #114: Scheduled
September 30, 2023 15:03 4h 18m 35s master
master
September 30, 2023 15:03 4h 18m 35s
Remove uses of _tac methods from nondet CI #2674: Pull request #671 synchronize by corlewis
September 30, 2023 09:59 25s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 30, 2023 09:59 25s
Remove uses of _tac methods from nondet Proof PR #2587: Pull request #671 synchronize by corlewis
September 30, 2023 09:59 3h 0m 8s
September 30, 2023 09:59 3h 0m 8s
Remove uses of _tac methods from nondet PR #2281: Pull request #671 synchronize by corlewis
September 30, 2023 09:59 1m 1s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 30, 2023 09:59 1m 1s
Remove uses of _tac methods from nondet Proof PR #2586: Pull request #671 synchronize by corlewis
September 29, 2023 07:09 3h 9m 36s
September 29, 2023 07:09 3h 9m 36s
Remove uses of _tac methods from nondet CI #2673: Pull request #671 synchronize by corlewis
September 29, 2023 07:09 25s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 07:09 25s
Remove uses of _tac methods from nondet PR #2280: Pull request #671 synchronize by corlewis
September 29, 2023 07:09 1m 3s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 07:09 1m 3s
Remove uses of _tac methods from nondet CI #2672: Pull request #671 opened by corlewis
September 29, 2023 03:16 21s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 03:16 21s
Remove uses of _tac methods from nondet PR #2279: Pull request #671 opened by corlewis
September 29, 2023 03:16 56s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 03:16 56s
Remove uses of _tac methods from nondet Proof PR #2585: Pull request #671 opened by corlewis
September 29, 2023 03:16 3h 53m 32s
September 29, 2023 03:16 3h 53m 32s
More Nondet Monad improvements CI #2671: Pull request #666 synchronize by corlewis
September 29, 2023 01:46 27s corlewis:nondet_more_changes
corlewis:nondet_more_changes
September 29, 2023 01:46 27s
More Nondet Monad improvements PR #2278: Pull request #666 synchronize by corlewis
September 29, 2023 01:46 1m 8s corlewis:nondet_more_changes
corlewis:nondet_more_changes
September 29, 2023 01:46 1m 8s
ProTip! You can narrow down the results and go further in time using created:<2023-09-29 or the other filters available.