formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Added a helper script for bumping the executable spec repo

Open Soupstraw opened this issue 10 months ago • 1 comments

Description

This PR adds a script that builds the executable script Haskell library and copies all the files to the cardano-ledger-executable-spec repo. This will partially automate the bumping the executable spec for conformance testing.

Checklist

  • [ ] Commit sequence broadly makes sense and commits have useful messages
  • [ ] Code is formatted according to CONTRIBUTING.md
  • [ ] Self-reviewed the diff

Soupstraw avatar Apr 09 '24 15:04 Soupstraw