Skip to content

Commit c1772ef

Browse files
committed
Added plutus preprocessor generating script
1 parent 1771168 commit c1772ef

File tree

3 files changed

+15
-2
lines changed

3 files changed

+15
-2
lines changed

.github/PULL_REQUEST_TEMPLATE.md

+1
Original file line numberDiff line numberDiff line change
@@ -16,5 +16,6 @@ to the issue. -->
1616
**NOTE: _If bounds change in a cabal file, that package itself must have a version increase._** (See [RELEASING.md](https://github.com/intersectmbo/cardano-ledger/blob/master/RELEASING.md#versioning-process)).
1717
- [x] Code formatted (use `scripts/fourmolize.sh`).
1818
- [x] Cabal files formatted (use `scripts/cabal-format.sh`).
19+
- [x] CDDL files are up to date (use `scripts/gen-cddl.sh`)
1920
- [x] [`hie.yaml`](https://github.com/intersectmbo/cardano-ledger/blob/master/hie.yaml) updated (use `scripts/gen-hie.sh`).
2021
- [ ] Self-reviewed the diff.

.github/workflows/haskell.yml

+5-2
Original file line numberDiff line numberDiff line change
@@ -387,7 +387,7 @@ jobs:
387387
- name: Run fourmolu
388388
run: ./scripts/fourmolize.sh
389389

390-
gen-cddl:
390+
codegen:
391391
needs: build
392392

393393
runs-on: ubuntu-latest
@@ -400,7 +400,7 @@ jobs:
400400
SECP256K1_REF: ac83be33d0956faf6b7f61a60ab524ef7d6a473a
401401

402402
SECP_CACHE_VERSION: "2022-12-30"
403-
ghc-version: "9.10.1"
403+
ghc-version: "9.6.7"
404404
os: ubuntu-latest
405405

406406
defaults:
@@ -474,6 +474,9 @@ jobs:
474474
- name: Run gen-cddl
475475
run: ./scripts/gen-cddl.sh
476476

477+
- name: Run gen-plutus
478+
run: ./scripts/gen-plutus.sh
479+
477480
cabal-format:
478481
runs-on: ubuntu-latest
479482

scripts/gen-plutus.sh

+9
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
#!/usr/bin/env bash
2+
3+
set -euo pipefail
4+
5+
echo "Generating plutus examples..."
6+
cabal run plutus-preprocessor
7+
echo "Regenerated plutus examples"
8+
9+
git diff --exit-code

0 commit comments

Comments
 (0)