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

lib/monads/nondet: remove uses of _tac methods CI #2685: Commit 34038fc pushed by corlewis
October 5, 2023 11:08 22s master
master
October 5, 2023 11:08 22s
lib/monads/nondet: remove uses of _tac methods Proofs #568: Commit 34038fc pushed by corlewis
October 5, 2023 11:08 6h 7m 50s master
master
October 5, 2023 11:08 6h 7m 50s
Remove uses of _tac methods from nondet Proof PR #2595: Pull request #671 synchronize by corlewis
October 5, 2023 11:07 4h 4m 13s
October 5, 2023 11:07 4h 4m 13s
Remove uses of _tac methods from nondet PR #2288: Pull request #671 synchronize by corlewis
October 5, 2023 11:07 1m 11s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
October 5, 2023 11:07 1m 11s
Remove uses of _tac methods from nondet CI #2684: Pull request #671 synchronize by corlewis
October 5, 2023 11:07 28s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
October 5, 2023 11:07 28s
github: add exynos5 workflow for branch push Proofs #567: Commit d4f84dc pushed by seL4-ci
October 5, 2023 11:01 3h 47m 37s exynos5-ver-rebased
exynos5-ver-rebased
October 5, 2023 11:01 3h 47m 37s
github: add imx8mm workflow for branch push Proofs #566: Commit 7ca903a pushed by seL4-ci
October 5, 2023 11:01 2h 41m 28s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
October 5, 2023 11:01 2h 41m 28s
lib/monads: improve style of nondet and trace CI #2683: Commit 3333395 pushed by corlewis
October 5, 2023 11:01 22s master
master
October 5, 2023 11:01 22s
lib/monads: improve style of nondet and trace Proofs #565: Commit 3333395 pushed by corlewis
October 5, 2023 11:01 4h 9m 53s master
master
October 5, 2023 11:01 4h 9m 53s
Monads: improve style and consistency of nondet and trace Proof PR #2594: Pull request #672 synchronize by corlewis
October 5, 2023 10:59 4h 23m 20s
October 5, 2023 10:59 4h 23m 20s
Monads: improve style and consistency of nondet and trace PR #2287: Pull request #672 synchronize by corlewis
October 5, 2023 10:59 1m 21s corlewis:monads_style
corlewis:monads_style
October 5, 2023 10:59 1m 21s
Monads: improve style and consistency of nondet and trace CI #2682: Pull request #672 synchronize by corlewis
October 5, 2023 10:59 28s corlewis:monads_style
corlewis:monads_style
October 5, 2023 10:59 28s
manifest-update Proofs #564: Repository dispatch triggered by seL4-ci
October 5, 2023 09:48 3h 44m 24s
October 5, 2023 09:48 3h 44m 24s
Improve corres rules whileLoop CI #2681: Pull request #650 synchronize by michaelmcinerney
October 5, 2023 07:02 24s michaelm-whileLoop_improvements
michaelm-whileLoop_improvements
October 5, 2023 07:02 24s
Improve corres rules whileLoop PR #2286: Pull request #650 synchronize by michaelmcinerney
October 5, 2023 07:02 1m 49s michaelm-whileLoop_improvements
michaelm-whileLoop_improvements
October 5, 2023 07:02 1m 49s
Improve corres rules whileLoop Proof PR #2593: Pull request #650 synchronize by michaelmcinerney
October 5, 2023 07:02 3h 44m 29s
October 5, 2023 07:02 3h 44m 29s
Monads: improve style and consistency of nondet and trace PR #2285: Pull request #672 synchronize by corlewis
October 5, 2023 04:54 49s corlewis:monads_style
corlewis:monads_style
October 5, 2023 04:54 49s
Monads: improve style and consistency of nondet and trace Proof PR #2592: Pull request #672 synchronize by corlewis
October 5, 2023 04:54 5h 25m 5s
October 5, 2023 04:54 5h 25m 5s
Monads: improve style and consistency of nondet and trace CI #2680: Pull request #672 synchronize by corlewis
October 5, 2023 04:54 25s corlewis:monads_style
corlewis:monads_style
October 5, 2023 04:54 25s
Monads: improve style and consistency of nondet and trace PR #2284: Pull request #672 synchronize by corlewis
October 5, 2023 04:35 1m 5s corlewis:monads_style
corlewis:monads_style
October 5, 2023 04:35 1m 5s
Monads: improve style and consistency of nondet and trace CI #2679: Pull request #672 synchronize by corlewis
October 5, 2023 04:35 31s corlewis:monads_style
corlewis:monads_style
October 5, 2023 04:35 31s
Monads: improve style and consistency of nondet and trace Proof PR #2591: Pull request #672 synchronize by corlewis
October 5, 2023 04:35 1h 12m 49s
October 5, 2023 04:35 1h 12m 49s
Monads: improve style and consistency of nondet and trace PR #2283: Pull request #672 opened by corlewis
October 5, 2023 02:20 1m 4s corlewis:monads_style
corlewis:monads_style
October 5, 2023 02:20 1m 4s
Monads: improve style and consistency of nondet and trace CI #2678: Pull request #672 opened by corlewis
October 5, 2023 02:20 26s corlewis:monads_style
corlewis:monads_style
October 5, 2023 02:20 26s
Monads: improve style and consistency of nondet and trace Proof PR #2590: Pull request #672 opened by corlewis
October 5, 2023 02:20 3h 46m 36s
October 5, 2023 02:20 3h 46m 36s
ProTip! You can narrow down the results and go further in time using created:<2023-10-05 or the other filters available.