Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

Formal Ledger Specs - PR Merged

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_merged.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CERTS pov Formal Ledger Specs - PR Merged #42: Pull request #575 closed by williamdemeo
October 4, 2024 16:45 30s 467-certs-pov
467-certs-pov
October 4, 2024 16:45 30s
Added HashedTimelock Formal Ledger Specs - PR Merged #41: Pull request #584 closed by Soupstraw
October 4, 2024 09:17 32s jj/hashed-types
jj/hashed-types
October 4, 2024 09:17 32s
Replace minUTxOValue with coinsPerUTxOByte Formal Ledger Specs - PR Merged #40: Pull request #577 closed by WhatisRT
September 30, 2024 11:39 3m 22s 571-replace-usage-of-minutxovalue-with-coinsperutxobyte
571-replace-usage-of-minutxovalue-with-coinsperutxobyte
September 30, 2024 11:39 3m 22s
Remove unenactable governance actions in EPOCH Formal Ledger Specs - PR Merged #39: Pull request #549 closed by WhatisRT
September 27, 2024 12:48 38s javierdiaz72/remove-unenactable-GAs
javierdiaz72/remove-unenactable-GAs
September 27, 2024 12:48 38s
Reorganize conformance code Formal Ledger Specs - PR Merged #38: Pull request #580 closed by Soupstraw
September 27, 2024 12:36 29s jj/impl-era
jj/impl-era
September 27, 2024 12:36 29s
Reference script bounds and cost formula Formal Ledger Specs - PR Merged #37: Pull request #559 closed by williamdemeo
September 24, 2024 15:26 2m 7s 537-reference-script-limitations-are-incomplete
537-reference-script-limitations-are-incomplete
September 24, 2024 15:26 2m 7s
Update CHANGELOG Formal Ledger Specs - PR Merged #36: Pull request #576 closed by WhatisRT
September 24, 2024 11:19 34s andre/update-changelog
andre/update-changelog
September 24, 2024 11:19 34s
Include withdrawals in consumed and fix UTXO pov proofs. Formal Ledger Specs - PR Merged #35: Pull request #574 closed by WhatisRT
September 23, 2024 12:59 10m 17s 467-include-withdrawals-utxo-pov
467-include-withdrawals-utxo-pov
September 23, 2024 12:59 10m 17s
Include withdrawals in consumed and fix Utxo pov proofs. Formal Ledger Specs - PR Merged #34: Pull request #573 closed by williamdemeo
September 18, 2024 21:07 19s 467-include-withdrawals-in-consumed
467-include-withdrawals-in-consumed
September 18, 2024 21:07 19s
Use reflection to generate Haskell types Formal Ledger Specs - PR Merged #33: Pull request #488 closed by WhatisRT
September 16, 2024 12:20 18s ulf/gen-haskell-types
ulf/gen-haskell-types
September 16, 2024 12:20 18s
Update SECURITY.md Formal Ledger Specs - PR Merged #32: Pull request #569 closed by WhatisRT
September 13, 2024 15:32 28s andre/update-security
andre/update-security
September 13, 2024 15:32 28s
Fix Conway PDF not being uploaded Formal Ledger Specs - PR Merged #31: Pull request #565 closed by WhatisRT
September 13, 2024 10:40 26s andre/fix-conway-pdf
andre/fix-conway-pdf
September 13, 2024 10:40 26s
Update to Agda 2.7 Formal Ledger Specs - PR Merged #30: Pull request #564 closed by WhatisRT
September 12, 2024 10:24 43s andre/agda-2.7
andre/agda-2.7
September 12, 2024 10:24 43s
Parallelise workflow Formal Ledger Specs - PR Merged #29: Pull request #555 closed by WhatisRT
September 11, 2024 11:36 33s ldan/workflow-steps-order
ldan/workflow-steps-order
September 11, 2024 11:36 33s
Fix ccMinSize check Formal Ledger Specs - PR Merged #28: Pull request #514 closed by Soupstraw
August 30, 2024 10:25 41s andre/fix-ratify
andre/fix-ratify
August 30, 2024 10:25 41s
Fix MAlonzo code generation workflow Formal Ledger Specs - PR Merged #27: Pull request #560 closed by Soupstraw
August 29, 2024 09:07 43s ldan/fix-workflow
ldan/fix-workflow
August 29, 2024 09:07 43s
Jj/enact conformance - workflow debug Formal Ledger Specs - PR Merged #26: Pull request #558 closed by Lucsanszky
August 29, 2024 02:33 1m 7s jj/enact-conformance
jj/enact-conformance
August 29, 2024 02:33 1m 7s
DO NOT MERGE! Reverted GOV proposal ordering Formal Ledger Specs - PR Merged #25: Pull request #557 closed by Soupstraw
August 28, 2024 10:52 23s jj/gov-revert
jj/gov-revert
August 28, 2024 10:52 23s
Improved performance when adding epochs Formal Ledger Specs - PR Merged #24: Pull request #554 closed by WhatisRT
August 28, 2024 09:43 49s jj/enact-conformance
jj/enact-conformance
August 28, 2024 09:43 49s
hasParent needs to match GAs Formal Ledger Specs - PR Merged #23: Pull request #553 closed by WhatisRT
August 28, 2024 09:40 43s 539-hasparent-needs-to-match-gas
539-hasparent-needs-to-match-gas
August 28, 2024 09:40 43s
Conway changes not visible in PDF Formal Ledger Specs - PR Merged #22: Pull request #556 closed by WhatisRT
August 28, 2024 09:33 25s 536-conway-changes-not-visible-in-the-pdf
536-conway-changes-not-visible-in-the-pdf
August 28, 2024 09:33 25s
Improve output of generrors Formal Ledger Specs - PR Merged #21: Pull request #551 closed by williamdemeo
August 26, 2024 17:19 8m 25s 546-improve-output-of-generrors
546-improve-output-of-generrors
August 26, 2024 17:19 8m 25s
Ratify governance actions in the correct order Formal Ledger Specs - PR Merged #20: Pull request #516 closed by WhatisRT
August 21, 2024 09:29 19s 427-ratify-governance-actions-in-the-correct-order
427-ratify-governance-actions-in-the-correct-order
August 21, 2024 09:29 19s
Missing network id checks Formal Ledger Specs - PR Merged #19: Pull request #544 closed by williamdemeo
August 16, 2024 19:57 29s 540-missing-network-id-checks
540-missing-network-id-checks
August 16, 2024 19:57 29s
DO NOT MERGE: Restrict withdrawals to KeyHashObj in subset relation Formal Ledger Specs - PR Merged #18: Pull request #543 closed by williamdemeo
August 16, 2024 15:58 38s 541-restrict-withdrawals-only-for-key-hashes
541-restrict-withdrawals-only-for-key-hashes
August 16, 2024 15:58 38s