Skip to content

Actions: seL4/l4v

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
338 workflow run results
338 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Monads refactor CI #2620: Pull request #660 synchronize by corlewis
August 9, 2023 02:03 26s corlewis:monads_refactor
corlewis:monads_refactor
August 9, 2023 02:03 26s
Add select_wp and alternative_wp to wp CI #2619: Pull request #661 opened by corlewis
August 8, 2023 04:24 22s corlewis:nondet_add_wp
corlewis:nondet_add_wp
August 8, 2023 04:24 22s
Monads refactor CI #2618: Pull request #660 synchronize by corlewis
August 8, 2023 03:13 27s corlewis:monads_refactor
corlewis:monads_refactor
August 8, 2023 03:13 27s
test and docs for corres method + slight tweaks for the same CI #2617: Pull request #656 synchronize by lsf37
August 7, 2023 14:17 33s corres-method-test
corres-method-test
August 7, 2023 14:17 33s
Monads refactor CI #2616: Pull request #660 synchronize by corlewis
July 19, 2023 06:07 23s corlewis:monads_refactor
corlewis:monads_refactor
July 19, 2023 06:07 23s
Monads refactor CI #2615: Pull request #660 synchronize by corlewis
July 19, 2023 05:42 24s corlewis:monads_refactor
corlewis:monads_refactor
July 19, 2023 05:42 24s
Monads refactor CI #2614: Pull request #660 synchronize by corlewis
July 19, 2023 04:29 21s corlewis:monads_refactor
corlewis:monads_refactor
July 19, 2023 04:29 21s
Monads refactor CI #2613: Pull request #660 opened by corlewis
July 19, 2023 00:25 26s corlewis:monads_refactor
corlewis:monads_refactor
July 19, 2023 00:25 26s
docs/setup: add step for installing cabal CI #2612: Commit c9dc6d2 pushed by corlewis
July 19, 2023 00:17 24s master
master
July 19, 2023 00:17 24s
Add step to setup docs for installing cabal CI #2611: Pull request #659 opened by corlewis
July 18, 2023 01:14 28s corlewis:cabal-install
corlewis:cabal-install
July 18, 2023 01:14 28s
monads: synchronise with rt branch CI #2610: Commit fa484da pushed by corlewis
July 7, 2023 03:03 31s master
master
July 7, 2023 03:03 31s
monads: synchronise with rt branch CI #2609: Pull request #657 synchronize by corlewis
July 7, 2023 00:17 1m 41s corlewis:monads_rt_sync
corlewis:monads_rt_sync
July 7, 2023 00:17 1m 41s
monads: synchronise with rt branch CI #2608: Pull request #657 synchronize by corlewis
July 7, 2023 00:13 32s corlewis:monads_rt_sync
corlewis:monads_rt_sync
July 7, 2023 00:13 32s
ProTip! You can narrow down the results and go further in time using created:<2023-07-07 or the other filters available.