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

Progress on completing the trace monad rule set Proof PR #2569: Pull request #667 synchronize by corlewis
August 31, 2023 04:35 5m 32s
August 31, 2023 04:35 5m 32s
Progress on completing the trace monad rule set CI #2657: Pull request #667 synchronize by corlewis
August 31, 2023 04:27 28s corlewis:trace_more_rules
corlewis:trace_more_rules
August 31, 2023 04:27 28s
Progress on completing the trace monad rule set PR #2266: Pull request #667 synchronize by corlewis
August 31, 2023 04:27 1m 8s corlewis:trace_more_rules
corlewis:trace_more_rules
August 31, 2023 04:27 1m 8s
Progress on completing the trace monad rule set Proof PR #2568: Pull request #667 synchronize by corlewis
August 31, 2023 04:27 4h 18m 57s
August 31, 2023 04:27 4h 18m 57s
github: add exynos5 workflow for branch push Proofs #551: Commit 4e19fcc pushed by seL4-ci
August 30, 2023 20:00 3h 27m 46s exynos5-ver-rebased
exynos5-ver-rebased
August 30, 2023 20:00 3h 27m 46s
github: add imx8mm workflow for branch push Proofs #550: Commit fb73907 pushed by seL4-ci
August 30, 2023 20:00 2h 25m 50s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
August 30, 2023 20:00 2h 25m 50s
lib: add docs and test for Corres_Method Proofs #549: Commit c4369f5 pushed by lsf37
August 30, 2023 19:59 1h 21m 28s master
master
August 30, 2023 19:59 1h 21m 28s
lib: add docs and test for Corres_Method CI #2656: Commit c4369f5 pushed by lsf37
August 30, 2023 19:59 26s master
master
August 30, 2023 19:59 26s
test and docs for corres method + slight tweaks for the same PR #2265: Pull request #656 synchronize by lsf37
August 30, 2023 14:12 1m 7s corres-method-test
corres-method-test
August 30, 2023 14:12 1m 7s
test and docs for corres method + slight tweaks for the same CI #2655: Pull request #656 synchronize by lsf37
August 30, 2023 14:12 26s corres-method-test
corres-method-test
August 30, 2023 14:12 26s
test and docs for corres method + slight tweaks for the same Proof PR #2567: Pull request #656 synchronize by lsf37
August 30, 2023 14:12 3h 53m 31s
August 30, 2023 14:12 3h 53m 31s
refinement proof for AArch64 CI #2654: Pull request #668 synchronize by lsf37
August 29, 2023 18:59 34s aarch64-refine
aarch64-refine
August 29, 2023 18:59 34s
refinement proof for AArch64 PR #2264: Pull request #668 synchronize by lsf37
August 29, 2023 18:59 58s aarch64-refine
aarch64-refine
August 29, 2023 18:59 58s
refinement proof for AArch64 Proof PR #2566: Pull request #668 synchronize by lsf37
August 29, 2023 18:59 1h 2m 54s
August 29, 2023 18:59 1h 2m 54s
refinement proof for AArch64 CI #2653: Pull request #668 synchronize by lsf37
August 29, 2023 06:59 32s aarch64-refine
aarch64-refine
August 29, 2023 06:59 32s
refinement proof for AArch64 PR #2263: Pull request #668 synchronize by lsf37
August 29, 2023 06:59 53s aarch64-refine
aarch64-refine
August 29, 2023 06:59 53s
refinement proof for AArch64 Proof PR #2565: Pull request #668 synchronize by lsf37
August 29, 2023 06:59 41m 11s
August 29, 2023 06:59 41m 11s
refinement proof for AArch64 PR #2262: Pull request #668 synchronize by lsf37
August 28, 2023 13:30 1m 18s aarch64-refine
aarch64-refine
August 28, 2023 13:30 1m 18s
refinement proof for AArch64 CI #2652: Pull request #668 synchronize by lsf37
August 28, 2023 13:30 25s aarch64-refine
aarch64-refine
August 28, 2023 13:30 25s
refinement proof for AArch64 Proof PR #2564: Pull request #668 synchronize by lsf37
August 28, 2023 13:30 7h 25m 21s
August 28, 2023 13:30 7h 25m 21s
refinement proof for AArch64 PR #2261: Pull request #668 opened by lsf37
August 28, 2023 12:52 1m 16s aarch64-refine
aarch64-refine
August 28, 2023 12:52 1m 16s
refinement proof for AArch64 CI #2651: Pull request #668 opened by lsf37
August 28, 2023 12:52 32s aarch64-refine
aarch64-refine
August 28, 2023 12:52 32s
refinement proof for AArch64 Proof PR #2563: Pull request #668 opened by lsf37
August 28, 2023 12:52 3h 56m 12s
August 28, 2023 12:52 3h 56m 12s
aarch64 ainvs+refine: remove unused dom_ucast_eq AArch64 Proofs #36: Commit fb7541c pushed by lsf37
August 28, 2023 10:58 1h 12m 7s aarch64
aarch64
August 28, 2023 10:58 1h 12m 7s
aarch64 ainvs+refine: remove unused dom_ucast_eq CI #2650: Commit fb7541c pushed by lsf37
August 28, 2023 10:58 24s aarch64
aarch64
August 28, 2023 10:58 24s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.