formal-ledger-specifications
formal-ledger-specifications copied to clipboard
Added a helper script for bumping the executable spec repo
trafficstars
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
Ah, I've already done this, see the haskell-package branch/bottom of .github/workflows/build.yml. But maybe your script is prettier than what I've done.
Ok, then we'll have some duplicate scripts for now, but maybe it's fine.