Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

External External #53: Scheduled
October 1, 2023 15:02 4h 8m 51s master
master
October 1, 2023 15:02 4h 8m 51s
Weekly Clean Weekly Clean #114: Scheduled
September 30, 2023 15:03 4h 18m 35s master
master
September 30, 2023 15:03 4h 18m 35s
Remove uses of _tac methods from nondet PR #2281: Pull request #671 synchronize by corlewis
September 30, 2023 09:59 1m 1s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 30, 2023 09:59 1m 1s
Remove uses of _tac methods from nondet Proof PR #2587: Pull request #671 synchronize by corlewis
September 30, 2023 09:59 3h 0m 8s
September 30, 2023 09:59 3h 0m 8s
Remove uses of _tac methods from nondet CI #2674: Pull request #671 synchronize by corlewis
September 30, 2023 09:59 25s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 30, 2023 09:59 25s
Remove uses of _tac methods from nondet PR #2280: Pull request #671 synchronize by corlewis
September 29, 2023 07:09 1m 3s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 07:09 1m 3s
Remove uses of _tac methods from nondet CI #2673: Pull request #671 synchronize by corlewis
September 29, 2023 07:09 25s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 07:09 25s
Remove uses of _tac methods from nondet Proof PR #2586: Pull request #671 synchronize by corlewis
September 29, 2023 07:09 3h 9m 36s
September 29, 2023 07:09 3h 9m 36s
Remove uses of _tac methods from nondet Proof PR #2585: Pull request #671 opened by corlewis
September 29, 2023 03:16 3h 53m 32s
September 29, 2023 03:16 3h 53m 32s
Remove uses of _tac methods from nondet PR #2279: Pull request #671 opened by corlewis
September 29, 2023 03:16 56s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 03:16 56s
Remove uses of _tac methods from nondet CI #2672: Pull request #671 opened by corlewis
September 29, 2023 03:16 21s corlewis:nondet_remove_tac
corlewis:nondet_remove_tac
September 29, 2023 03:16 21s
More Nondet Monad improvements PR #2278: Pull request #666 synchronize by corlewis
September 29, 2023 01:46 1m 8s corlewis:nondet_more_changes
corlewis:nondet_more_changes
September 29, 2023 01:46 1m 8s
More Nondet Monad improvements CI #2671: Pull request #666 synchronize by corlewis
September 29, 2023 01:46 27s corlewis:nondet_more_changes
corlewis:nondet_more_changes
September 29, 2023 01:46 27s
More Nondet Monad improvements Proof PR #2584: Pull request #666 synchronize by corlewis
September 29, 2023 01:46 4h 37m 19s
September 29, 2023 01:46 4h 37m 19s
Progress on completing the trace monad rule set Proof PR #2583: Pull request #667 synchronize by corlewis
September 29, 2023 01:33 3h 39m 48s
September 29, 2023 01:33 3h 39m 48s
Progress on completing the trace monad rule set CI #2670: Pull request #667 synchronize by corlewis
September 29, 2023 01:33 35s corlewis:trace_more_rules
corlewis:trace_more_rules
September 29, 2023 01:33 35s
Progress on completing the trace monad rule set PR #2277: Pull request #667 synchronize by corlewis
September 29, 2023 01:33 57s corlewis:trace_more_rules
corlewis:trace_more_rules
September 29, 2023 01:33 57s
update to Isabelle 2023 CI #2669: Pull request #670 synchronize by lsf37
September 29, 2023 00:56 20s isabelle-2023
isabelle-2023
September 29, 2023 00:56 20s
update to Isabelle 2023 PR #2276: Pull request #670 synchronize by lsf37
September 29, 2023 00:56 1m 21s isabelle-2023
isabelle-2023
September 29, 2023 00:56 1m 21s
update to Isabelle 2023 Proof PR #2582: Pull request #670 synchronize by lsf37
September 29, 2023 00:56 2m 34s
September 29, 2023 00:56 2m 34s
[DROP] testing only: force ts-2023 isa branch Proof PR #2581: Commit decdaae pushed by lsf37
September 29, 2023 00:56 3h 31m 14s isabelle-2023
isabelle-2023
September 29, 2023 00:56 3h 31m 14s
update to Isabelle 2023 Proof PR #2580: Pull request #670 synchronize by lsf37
September 29, 2023 00:53 4m 39s
September 29, 2023 00:53 4m 39s
[DROP] testing only: force ts-2023 isa branch Proof PR #2579: Commit 278e97d pushed by lsf37
September 29, 2023 00:53 4m 38s isabelle-2023
isabelle-2023
September 29, 2023 00:53 4m 38s
github: add exynos5 workflow for branch push Proofs #557: Commit deaa73b pushed by seL4-ci
September 27, 2023 09:55 3h 47m 5s exynos5-ver-rebased
exynos5-ver-rebased
September 27, 2023 09:55 3h 47m 5s
github: add imx8mm workflow for branch push Proofs #556: Commit 3cb8a04 pushed by seL4-ci
September 27, 2023 09:55 2h 45m 47s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
September 27, 2023 09:55 2h 45m 47s