Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow run results
107 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

External External #50: Scheduled
August 15, 2023 15:02 4h 17m 36s master
master
August 15, 2023 15:02 4h 17m 36s
Trace Monad refactor PR #2249: Pull request #664 synchronize by corlewis
August 15, 2023 03:10 53s corlewis:trace_refactor
corlewis:trace_refactor
August 15, 2023 03:10 53s
Trace Monad refactor CI #2636: Pull request #664 synchronize by corlewis
August 15, 2023 03:10 23s corlewis:trace_refactor
corlewis:trace_refactor
August 15, 2023 03:10 23s
Trace Monad refactor Proof PR #2550: Pull request #664 synchronize by corlewis
August 15, 2023 03:10 1h 13m 16s
August 15, 2023 03:10 1h 13m 16s
Trace Monad refactor PR #2248: Pull request #664 synchronize by corlewis
August 15, 2023 00:23 56s corlewis:trace_refactor
corlewis:trace_refactor
August 15, 2023 00:23 56s
Trace Monad refactor CI #2635: Pull request #664 synchronize by corlewis
August 15, 2023 00:23 25s corlewis:trace_refactor
corlewis:trace_refactor
August 15, 2023 00:23 25s
Trace Monad refactor Proof PR #2549: Pull request #664 synchronize by corlewis
August 15, 2023 00:23 3h 42m 42s
August 15, 2023 00:23 3h 42m 42s
Minor Nondet Monad improvements Proof PR #2548: Pull request #665 synchronize by corlewis
August 15, 2023 00:22 3h 54m 26s
August 15, 2023 00:22 3h 54m 26s
Minor Nondet Monad improvements PR #2247: Pull request #665 synchronize by corlewis
August 15, 2023 00:22 1m 12s corlewis:nondet_changes
corlewis:nondet_changes
August 15, 2023 00:22 1m 12s
Minor Nondet Monad improvements CI #2634: Pull request #665 synchronize by corlewis
August 15, 2023 00:22 33s corlewis:nondet_changes
corlewis:nondet_changes
August 15, 2023 00:22 33s
github: add exynos5 workflow for branch push Proofs #536: Commit 724c0d3 pushed by seL4-ci
August 14, 2023 13:52 3h 43m 19s exynos5-ver-rebased
exynos5-ver-rebased
August 14, 2023 13:52 3h 43m 19s
github: add imx8mm workflow for branch push Proofs #535: Commit 6415e79 pushed by seL4-ci
August 14, 2023 13:52 2h 24m 36s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 14, 2023 13:52 2h 24m 36s
arm-hyp crefine: proof update for object_type enum reorder CI #2633: Commit 4d97b26 pushed by lsf37
August 14, 2023 13:51 27s master
master
August 14, 2023 13:51 27s
arm-hyp crefine: proof update for object_type enum reorder Proofs #534: Commit 4d97b26 pushed by lsf37
August 14, 2023 13:51 2h 51m 12s master
master
August 14, 2023 13:51 2h 51m 12s
Minor Nondet Monad improvements CI #2632: Pull request #665 synchronize by corlewis
August 14, 2023 11:10 28s corlewis:nondet_changes
corlewis:nondet_changes
August 14, 2023 11:10 28s
Minor Nondet Monad improvements PR #2246: Pull request #665 synchronize by corlewis
August 14, 2023 11:10 1m 2s corlewis:nondet_changes
corlewis:nondet_changes
August 14, 2023 11:10 1m 2s
Minor Nondet Monad improvements Proof PR #2547: Pull request #665 synchronize by corlewis
August 14, 2023 11:10 3h 46m 9s
August 14, 2023 11:10 3h 46m 9s
Minor Nondet Monad improvements Proof PR #2546: Pull request #665 synchronize by corlewis
August 14, 2023 11:08 3m 27s
August 14, 2023 11:08 3m 27s
Minor Nondet Monad improvements CI #2631: Pull request #665 synchronize by corlewis
August 14, 2023 11:08 24s corlewis:nondet_changes
corlewis:nondet_changes
August 14, 2023 11:08 24s
Minor Nondet Monad improvements PR #2245: Pull request #665 synchronize by corlewis
August 14, 2023 11:08 54s corlewis:nondet_changes
corlewis:nondet_changes
August 14, 2023 11:08 54s
Trace Monad refactor CI #2630: Pull request #664 synchronize by corlewis
August 14, 2023 10:39 22s corlewis:trace_refactor
corlewis:trace_refactor
August 14, 2023 10:39 22s
Trace Monad refactor PR #2244: Pull request #664 synchronize by corlewis
August 14, 2023 10:39 1m 2s corlewis:trace_refactor
corlewis:trace_refactor
August 14, 2023 10:39 1m 2s
Trace Monad refactor Proof PR #2545: Pull request #664 synchronize by corlewis
August 14, 2023 10:39 2h 56m 51s
August 14, 2023 10:39 2h 56m 51s
Minor Nondet Monad improvements PR #2243: Pull request #665 opened by corlewis
August 14, 2023 08:51 1m 11s corlewis:nondet_changes
corlewis:nondet_changes
August 14, 2023 08:51 1m 11s
Minor Nondet Monad improvements CI #2629: Pull request #665 opened by corlewis
August 14, 2023 08:51 26s corlewis:nondet_changes
corlewis:nondet_changes
August 14, 2023 08:51 26s