Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
41 workflow run results
41 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update proofs for AArch64 seL4 PR Proof PR #2542: Pull request #663 synchronize by lsf37
August 14, 2023 07:27 3h 40m 57s
August 14, 2023 07:27 3h 40m 57s
Update proofs for AArch64 seL4 PR Proof PR #2541: Pull request #663 synchronize by lsf37
August 12, 2023 06:11 1h 55m 0s
August 12, 2023 06:11 1h 55m 0s
Update proofs for AArch64 seL4 PR Proof PR #2540: Pull request #663 opened by lsf37
August 11, 2023 18:37 2h 57m 43s
August 11, 2023 18:37 2h 57m 43s
Add select_wp and alternative_wp to wp Proof PR #2539: Pull request #661 synchronize by corlewis
August 9, 2023 02:12 6h 19m 59s
August 9, 2023 02:12 6h 19m 59s
Add select_wp and alternative_wp to wp Proof PR #2538: Pull request #661 synchronize by corlewis
August 9, 2023 02:10 4h 29m 50s
August 9, 2023 02:10 4h 29m 50s
Monads refactor Proof PR #2537: Pull request #660 synchronize by corlewis
August 9, 2023 02:03 3h 52m 4s
August 9, 2023 02:03 3h 52m 4s
Add select_wp and alternative_wp to wp Proof PR #2536: Pull request #661 opened by corlewis
August 8, 2023 04:24 3h 58m 31s
August 8, 2023 04:24 3h 58m 31s
Monads refactor Proof PR #2535: Pull request #660 synchronize by corlewis
August 8, 2023 03:13 3h 39m 21s
August 8, 2023 03:13 3h 39m 21s
test and docs for corres method + slight tweaks for the same Proof PR #2534: Pull request #656 synchronize by lsf37
August 7, 2023 14:17 2h 47m 41s
August 7, 2023 14:17 2h 47m 41s
Monads refactor Proof PR #2533: Pull request #660 synchronize by corlewis
July 19, 2023 06:07 16m 16s
July 19, 2023 06:07 16m 16s
Monads refactor Proof PR #2532: Pull request #660 synchronize by corlewis
July 19, 2023 05:42 15m 18s
July 19, 2023 05:42 15m 18s
Monads refactor Proof PR #2531: Pull request #660 synchronize by corlewis
July 19, 2023 04:29 33m 45s
July 19, 2023 04:29 33m 45s
Monads refactor Proof PR #2530: Pull request #660 opened by corlewis
July 19, 2023 00:25 4h 21m 20s
July 19, 2023 00:25 4h 21m 20s
monads: synchronise with rt branch Proof PR #2529: Pull request #657 synchronize by corlewis
July 7, 2023 00:17 2h 40m 44s
July 7, 2023 00:17 2h 40m 44s
monads: synchronise with rt branch Proof PR #2528: Pull request #657 synchronize by corlewis
July 7, 2023 00:13 2h 28m 28s
July 7, 2023 00:13 2h 28m 28s
monads: synchronise with rt branch Proof PR #2527: Pull request #657 synchronize by corlewis
July 6, 2023 06:12 4h 25m 12s
July 6, 2023 06:12 4h 25m 12s