Skip to content

Merge pull request #4792 from IntersectMBO/aniketd/huddle-conway Refactor Conway CDDL to reuse Babbage CDDL #16763

Merge pull request #4792 from IntersectMBO/aniketd/huddle-conway Refactor Conway CDDL to reuse Babbage CDDL

Merge pull request #4792 from IntersectMBO/aniketd/huddle-conway Refactor Conway CDDL to reuse Babbage CDDL #16763

Annotations

1 warning

Check if formal-ledger-specifications SRP is valid

succeeded Dec 30, 2024 in 10s