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

Added a helper script for bumping the executable spec repo

Open Soupstraw opened this issue 1 year ago • 1 comments
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

Soupstraw avatar Apr 09 '24 15:04 Soupstraw

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.

WhatisRT avatar Apr 09 '24 16:04 WhatisRT

Ok, then we'll have some duplicate scripts for now, but maybe it's fine.

WhatisRT avatar Jul 23 '24 14:07 WhatisRT