Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refine: update for changes to nondet monad Proofs #538: Commit a084de4 pushed by corlewis
August 23, 2023 01:48 1h 23m 40s master
master
August 23, 2023 01:48 1h 23m 40s
Trace Monad refactor CI #2643: Pull request #664 synchronize by corlewis
August 22, 2023 10:08 25s corlewis:trace_refactor
corlewis:trace_refactor
August 22, 2023 10:08 25s
Trace Monad refactor PR #2256: Pull request #664 synchronize by corlewis
August 22, 2023 10:08 51s corlewis:trace_refactor
corlewis:trace_refactor
August 22, 2023 10:08 51s
Trace Monad refactor Proof PR #2558: Pull request #664 synchronize by corlewis
August 22, 2023 10:08 17m 25s
August 22, 2023 10:08 17m 25s
Minor Nondet Monad improvements CI #2642: Pull request #665 synchronize by corlewis
August 22, 2023 10:03 26s corlewis:nondet_changes
corlewis:nondet_changes
August 22, 2023 10:03 26s
Minor Nondet Monad improvements PR #2255: Pull request #665 synchronize by corlewis
August 22, 2023 10:03 59s corlewis:nondet_changes
corlewis:nondet_changes
August 22, 2023 10:03 59s
Minor Nondet Monad improvements Proof PR #2557: Pull request #665 synchronize by corlewis
August 22, 2023 10:03 4h 29m 12s
August 22, 2023 10:03 4h 29m 12s
manifest-update Proofs #537: Repository dispatch triggered by seL4-ci
August 22, 2023 09:18 24m 31s
August 22, 2023 09:18 24m 31s
Trace Monad refactor PR #2254: Pull request #664 synchronize by corlewis
August 21, 2023 02:02 1m 26s corlewis:trace_refactor
corlewis:trace_refactor
August 21, 2023 02:02 1m 26s
Trace Monad refactor CI #2641: Pull request #664 synchronize by corlewis
August 21, 2023 02:02 28s corlewis:trace_refactor
corlewis:trace_refactor
August 21, 2023 02:02 28s
Trace Monad refactor Proof PR #2556: Pull request #664 synchronize by corlewis
August 21, 2023 02:02 20m 8s
August 21, 2023 02:02 20m 8s
Weekly Clean Weekly Clean #108: Scheduled
August 19, 2023 15:03 4h 9m 44s master
master
August 19, 2023 15:03 4h 9m 44s
Trace Monad refactor CI #2640: Pull request #664 synchronize by corlewis
August 18, 2023 06:56 31s corlewis:trace_refactor
corlewis:trace_refactor
August 18, 2023 06:56 31s
Trace Monad refactor PR #2253: Pull request #664 synchronize by corlewis
August 18, 2023 06:56 55s corlewis:trace_refactor
corlewis:trace_refactor
August 18, 2023 06:56 55s
Trace Monad refactor Proof PR #2555: Pull request #664 synchronize by corlewis
August 18, 2023 06:56 1h 17m 52s
August 18, 2023 06:56 1h 17m 52s
Trace Monad refactor CI #2639: Pull request #664 synchronize by corlewis
August 18, 2023 06:47 34s corlewis:trace_refactor
corlewis:trace_refactor
August 18, 2023 06:47 34s
Trace Monad refactor Proof PR #2554: Pull request #664 synchronize by corlewis
August 18, 2023 06:47 13m 40s
August 18, 2023 06:47 13m 40s
Trace Monad refactor PR #2252: Pull request #664 synchronize by corlewis
August 18, 2023 06:47 52s corlewis:trace_refactor
corlewis:trace_refactor
August 18, 2023 06:47 52s
Trace Monad refactor CI #2638: Pull request #664 synchronize by corlewis
August 18, 2023 03:18 26s corlewis:trace_refactor
corlewis:trace_refactor
August 18, 2023 03:18 26s
Trace Monad refactor PR #2251: Pull request #664 synchronize by corlewis
August 18, 2023 03:18 58s corlewis:trace_refactor
corlewis:trace_refactor
August 18, 2023 03:18 58s
Trace Monad refactor Proof PR #2553: Pull request #664 synchronize by corlewis
August 18, 2023 03:18 3h 44m 59s
August 18, 2023 03:18 3h 44m 59s
Minor Nondet Monad improvements CI #2637: Pull request #665 synchronize by corlewis
August 18, 2023 02:39 27s corlewis:nondet_changes
corlewis:nondet_changes
August 18, 2023 02:39 27s
Minor Nondet Monad improvements PR #2250: Pull request #665 synchronize by corlewis
August 18, 2023 02:39 58s corlewis:nondet_changes
corlewis:nondet_changes
August 18, 2023 02:39 58s
Minor Nondet Monad improvements Proof PR #2552: Pull request #665 synchronize by corlewis
August 18, 2023 02:39 4h 7m 11s
August 18, 2023 02:39 4h 7m 11s
Improve corres rules whileLoop Proof PR #2551: Pull request #650 synchronize by michaelmcinerney
August 17, 2023 15:07 4h 44m 9s
August 17, 2023 15:07 4h 44m 9s
ProTip! You can narrow down the results and go further in time using created:<2023-08-17 or the other filters available.