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

Witnesses for native scripts in reference inputs Formal Ledger Specs #2597: Pull request #631 synchronize by williamdemeo
December 23, 2024 19:22 24m 22s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 23, 2024 19:22 24m 22s
pages build and deployment pages-build-deployment #285: by github-pages bot
December 21, 2024 15:41 45s gh-pages
gh-pages
December 21, 2024 15:41 45s
Complete proofs of lemmas for Equivalence proof (#622) Formal Ledger Specs - PR Merged #74: Pull request #629 closed by williamdemeo
December 21, 2024 15:18 29s issue585
issue585
December 21, 2024 15:18 29s
Complete proofs of lemmas for Equivalence proof (#622) (#629) Formal Ledger Specs #2596: Commit 1e62760 pushed by williamdemeo
December 21, 2024 15:18 23m 11s master
master
December 21, 2024 15:18 23m 11s
Complete proofs of lemmas for Equivalence proof (#622) Formal Ledger Specs #2595: Pull request #629 synchronize by williamdemeo
December 21, 2024 00:43 22m 18s issue585
issue585
December 21, 2024 00:43 22m 18s
Complete proofs of lemmas for Equivalence proof (#622) Formal Ledger Specs #2594: Pull request #629 synchronize by williamdemeo
December 20, 2024 21:48 30m 50s issue585
issue585
December 20, 2024 21:48 30m 50s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2593: Pull request #631 synchronize by williamdemeo
December 20, 2024 15:40 22m 6s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:40 22m 6s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2592: Pull request #631 synchronize by williamdemeo
December 20, 2024 15:38 22m 20s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:38 22m 20s
Added HSPlutusScript Formal Ledger Specs #2591: Pull request #630 synchronize by Soupstraw
December 20, 2024 15:36 21m 52s jj/script-size
jj/script-size
December 20, 2024 15:36 21m 52s
pages build and deployment pages-build-deployment #284: by github-pages bot
December 20, 2024 15:29 50s gh-pages
gh-pages
December 20, 2024 15:29 50s
Check deposit value on drep deregistration Formal Ledger Specs #2590: Pull request #632 synchronize by teodanciu
December 20, 2024 15:24 7m 46s td/check-deposit-in-drep-dereg
td/check-deposit-in-drep-dereg
December 20, 2024 15:24 7m 46s
Check deposit value on drep deregistration Formal Ledger Specs #2589: Pull request #632 synchronize by teodanciu
December 20, 2024 15:19 7m 35s td/check-deposit-in-drep-dereg
td/check-deposit-in-drep-dereg
December 20, 2024 15:19 7m 35s
Check deposit value on drep deregistration Formal Ledger Specs #2588: Pull request #632 opened by teodanciu
December 20, 2024 15:19 8m 3s td/check-deposit-in-drep-dereg
td/check-deposit-in-drep-dereg
December 20, 2024 15:19 8m 3s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2587: Pull request #631 synchronize by williamdemeo
December 20, 2024 15:15 22m 1s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:15 22m 1s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2586: Pull request #631 opened by williamdemeo
December 20, 2024 15:10 23m 28s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:10 23m 28s
Added witnessing for collaterals Formal Ledger Specs - PR Merged #73: Pull request #628 closed by Soupstraw
December 20, 2024 15:05 35s jj/collateral-witnessing
jj/collateral-witnessing
December 20, 2024 15:05 35s
Added witnessing for collateral Formal Ledger Specs #2585: Commit 46e60fd pushed by Soupstraw
December 20, 2024 15:05 24m 5s master
master
December 20, 2024 15:05 24m 5s
Added HSPlutusScript Formal Ledger Specs #2584: Pull request #630 opened by Soupstraw
December 20, 2024 15:04 24m 23s jj/script-size
jj/script-size
December 20, 2024 15:04 24m 23s
Added witnessing for collaterals Formal Ledger Specs #2583: Pull request #628 synchronize by Soupstraw
December 19, 2024 14:47 23m 13s jj/collateral-witnessing
jj/collateral-witnessing
December 19, 2024 14:47 23m 13s
Complete proofs of lemmas for Equivalence proof (#622) Formal Ledger Specs #2582: Pull request #629 synchronize by williamdemeo
December 18, 2024 20:31 22m 54s issue585
issue585
December 18, 2024 20:31 22m 54s
Added witnessing for collaterals Formal Ledger Specs #2581: Pull request #628 synchronize by Soupstraw
December 18, 2024 11:17 18m 44s jj/collateral-witnessing
jj/collateral-witnessing
December 18, 2024 11:17 18m 44s
Added witnessing for collaterals Formal Ledger Specs #2580: Pull request #628 synchronize by Soupstraw
December 18, 2024 10:57 14m 57s jj/collateral-witnessing
jj/collateral-witnessing
December 18, 2024 10:57 14m 57s
Added witnessing for collaterals Formal Ledger Specs #2579: Pull request #628 synchronize by Soupstraw
December 18, 2024 10:53 15m 56s jj/collateral-witnessing
jj/collateral-witnessing
December 18, 2024 10:53 15m 56s
pages build and deployment pages-build-deployment #283: by github-pages bot
December 17, 2024 20:16 55s gh-pages
gh-pages
December 17, 2024 20:16 55s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs - PR Merged #72: Pull request #622 closed by UlfNorell
December 17, 2024 20:06 2m 40s issue585
issue585
December 17, 2024 20:06 2m 40s