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

[DROP] testing only: force ts-2023 isa branch Proof PR #2574: Commit 98be8da pushed by lsf37
September 27, 2023 01:32 3h 53m 57s isabelle-2023
isabelle-2023
September 27, 2023 01:32 3h 53m 57s
Weekly Clean Weekly Clean #113: Scheduled
September 23, 2023 15:03 4h 0m 29s master
master
September 23, 2023 15:03 4h 0m 29s
More Nondet Monad improvements CI #2663: Pull request #666 synchronize by corlewis
September 20, 2023 06:53 27s corlewis:nondet_more_changes
corlewis:nondet_more_changes
September 20, 2023 06:53 27s
More Nondet Monad improvements PR #2271: Pull request #666 synchronize by corlewis
September 20, 2023 06:53 1m 9s corlewis:nondet_more_changes
corlewis:nondet_more_changes
September 20, 2023 06:53 1m 9s
More Nondet Monad improvements Proof PR #2573: Pull request #666 synchronize by corlewis
September 20, 2023 06:53 4h 9m 27s
September 20, 2023 06:53 4h 9m 27s
Weekly Clean Weekly Clean #112: Scheduled
September 16, 2023 15:03 4h 27m 51s master
master
September 16, 2023 15:03 4h 27m 51s
External External #52: Scheduled
September 15, 2023 15:02 2h 27m 36s master
master
September 15, 2023 15:02 2h 27m 36s
github: add exynos5 workflow for branch push Proofs #554: Commit 04d2ed2 pushed by seL4-ci
September 14, 2023 20:10 1h 50m 27s exynos5-ver-rebased
exynos5-ver-rebased
September 14, 2023 20:10 1h 50m 27s
github: add imx8mm workflow for branch push Proofs #553: Commit c982979 pushed by seL4-ci
September 14, 2023 20:10 1h 16m 30s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
September 14, 2023 20:10 1h 16m 30s
crefine: change misleading proof step in CSpace_RAB_C Proofs #552: Commit deade60 pushed by Xaphiosis
September 14, 2023 20:10 19m 4s master
master
September 14, 2023 20:10 19m 4s
crefine: change misleading proof step in CSpace_RAB_C CI #2662: Commit deade60 pushed by Xaphiosis
September 14, 2023 20:10 30s master
master
September 14, 2023 20:10 30s
crefine: change misleading proof step in CSpace_RAB_C CI #2661: Pull request #669 opened by Xaphiosis
September 14, 2023 08:04 27s Xaphiosis:cspace_rab_tune
Xaphiosis:cspace_rab_tune
September 14, 2023 08:04 27s
crefine: change misleading proof step in CSpace_RAB_C PR #2270: Pull request #669 opened by Xaphiosis
September 14, 2023 08:04 55s Xaphiosis:cspace_rab_tune
Xaphiosis:cspace_rab_tune
September 14, 2023 08:04 55s
crefine: change misleading proof step in CSpace_RAB_C Proof PR #2572: Pull request #669 opened by Xaphiosis
September 14, 2023 08:04 2h 43m 12s
September 14, 2023 08:04 2h 43m 12s
Weekly Clean Weekly Clean #111: Scheduled
September 9, 2023 15:03 4h 20m 19s master
master
September 9, 2023 15:03 4h 20m 19s
Weekly Clean Weekly Clean #110: Scheduled
September 2, 2023 15:03 4h 12m 17s master
master
September 2, 2023 15:03 4h 12m 17s
External External #51: Scheduled
September 1, 2023 15:02 4h 26m 14s master
master
September 1, 2023 15:02 4h 26m 14s
refinement proof for AArch64 CI #2660: Pull request #668 synchronize by lsf37
August 31, 2023 08:15 33s aarch64-refine
aarch64-refine
August 31, 2023 08:15 33s
refinement proof for AArch64 PR #2269: Pull request #668 synchronize by lsf37
August 31, 2023 08:15 1m 0s aarch64-refine
aarch64-refine
August 31, 2023 08:15 1m 0s
refinement proof for AArch64 Proof PR #2571: Pull request #668 synchronize by lsf37
August 31, 2023 08:15 4h 16m 45s
August 31, 2023 08:15 4h 16m 45s
Progress on completing the trace monad rule set CI #2659: Pull request #667 synchronize by corlewis
August 31, 2023 04:41 23s corlewis:trace_more_rules
corlewis:trace_more_rules
August 31, 2023 04:41 23s
Progress on completing the trace monad rule set PR #2268: Pull request #667 synchronize by corlewis
August 31, 2023 04:41 59s corlewis:trace_more_rules
corlewis:trace_more_rules
August 31, 2023 04:41 59s
Progress on completing the trace monad rule set Proof PR #2570: Pull request #667 synchronize by corlewis
August 31, 2023 04:41 8h 31m 53s
August 31, 2023 04:41 8h 31m 53s
Progress on completing the trace monad rule set PR #2267: Pull request #667 synchronize by corlewis
August 31, 2023 04:35 53s corlewis:trace_more_rules
corlewis:trace_more_rules
August 31, 2023 04:35 53s
Progress on completing the trace monad rule set CI #2658: Pull request #667 synchronize by corlewis
August 31, 2023 04:35 31s corlewis:trace_more_rules
corlewis:trace_more_rules
August 31, 2023 04:35 31s
ProTip! You can narrow down the results and go further in time using created:<2023-08-31 or the other filters available.