Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,164 workflow runs
2,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2553: Pull request #622 synchronize by williamdemeo
December 10, 2024 07:06 21m 50s issue585
issue585
December 10, 2024 07:06 21m 50s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2552: Pull request #622 synchronize by UlfNorell
December 9, 2024 14:31 16m 40s issue585
issue585
December 9, 2024 14:31 16m 40s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2551: Pull request #622 synchronize by UlfNorell
December 9, 2024 12:51 21m 23s issue585
issue585
December 9, 2024 12:51 21m 23s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2550: Pull request #622 synchronize by UlfNorell
December 9, 2024 12:25 20m 37s issue585
issue585
December 9, 2024 12:25 20m 37s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2549: Pull request #622 synchronize by williamdemeo
December 9, 2024 04:57 15m 16s issue585
issue585
December 9, 2024 04:57 15m 16s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2548: Pull request #622 synchronize by williamdemeo
December 8, 2024 16:29 21m 4s issue585
issue585
December 8, 2024 16:29 21m 4s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2547: Pull request #622 synchronize by williamdemeo
December 8, 2024 15:47 23m 25s issue585
issue585
December 8, 2024 15:47 23m 25s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2546: Pull request #622 synchronize by williamdemeo
December 8, 2024 04:49 21m 35s issue585
issue585
December 8, 2024 04:49 21m 35s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2545: Pull request #622 synchronize by williamdemeo
December 7, 2024 00:06 16m 16s issue585
issue585
December 7, 2024 00:06 16m 16s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2544: Pull request #622 synchronize by williamdemeo
December 6, 2024 23:45 20m 17s issue585
issue585
December 6, 2024 23:45 20m 17s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2543: Pull request #622 synchronize by williamdemeo
December 6, 2024 15:41 23m 53s issue585
issue585
December 6, 2024 15:41 23m 53s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2542: Pull request #622 synchronize by williamdemeo
December 6, 2024 14:57 27m 11s issue585
issue585
December 6, 2024 14:57 27m 11s
pages build and deployment pages-build-deployment #282: by github-pages bot
December 5, 2024 12:39 53s gh-pages
gh-pages
December 5, 2024 12:39 53s
Tweaked SlotsPerEpoch Formal Ledger Specs - PR Merged #71: Pull request #623 closed by Soupstraw
December 5, 2024 12:30 40s jj/slotsperepoch-tweak
jj/slotsperepoch-tweak
December 5, 2024 12:30 40s
Tweaked SlotsPerEpoch (#623) Formal Ledger Specs #2541: Commit 74a61ee pushed by Soupstraw
December 5, 2024 12:30 9m 6s master
master
December 5, 2024 12:30 9m 6s
Tweaked SlotsPerEpoch Formal Ledger Specs #2540: Pull request #623 opened by Soupstraw
December 5, 2024 11:45 22m 2s jj/slotsperepoch-tweak
jj/slotsperepoch-tweak
December 5, 2024 11:45 22m 2s
pages build and deployment pages-build-deployment #281: by github-pages bot
December 5, 2024 11:19 48s gh-pages
gh-pages
December 5, 2024 11:19 48s
Added hash to VKey Formal Ledger Specs #2539: Commit f6632a8 pushed by Soupstraw
December 5, 2024 11:11 8m 14s master
master
December 5, 2024 11:11 8m 14s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs - PR Merged #70: Pull request #616 closed by Soupstraw
December 5, 2024 11:11 37s jj/legacy-regcert
jj/legacy-regcert
December 5, 2024 11:11 37s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2538: Pull request #616 synchronize by Soupstraw
December 5, 2024 11:10 8m 32s jj/legacy-regcert
jj/legacy-regcert
December 5, 2024 11:10 8m 32s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2537: Pull request #616 synchronize by Soupstraw
December 5, 2024 10:38 9m 11s jj/legacy-regcert
jj/legacy-regcert
December 5, 2024 10:38 9m 11s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2536: Pull request #622 synchronize by williamdemeo
December 5, 2024 05:30 16m 4s issue585
issue585
December 5, 2024 05:30 16m 4s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2535: Pull request #622 synchronize by williamdemeo
December 5, 2024 05:30 20m 31s issue585
issue585
December 5, 2024 05:30 20m 31s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2534: Pull request #622 synchronize by williamdemeo
December 5, 2024 05:27 20m 20s issue585
issue585
December 5, 2024 05:27 20m 20s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2533: Pull request #622 synchronize by williamdemeo
December 5, 2024 03:47 8m 31s issue585
issue585
December 5, 2024 03:47 8m 31s