Detect changes to generated Haskell files (#28)

This pull request adds a check to CI that tests whether the generated `.hs` files have changed.
cardano-foundation · May 3, 2024 · aa78c9b · aa78c9b
2 parents ccc97f3 + 524c4cf
commit aa78c9b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/.buildkite/pipeline.yml b/.buildkite/pipeline.yml
@@ -24,7 +24,7 @@ steps:
   - label: "Build agda2hs"
     depends_on: linux-nix
     command: |
-      ${nix} --command bash -c 'just haskell && just build0'
+      ${nix} --command bash -c 'just ci'
     agents:
       system: ${linux}
     env:

diff --git a/justfile b/justfile
@@ -1,11 +1,14 @@
 default:
     just --list
 
+clean:
+    find . -name "*.agdai" -type f -delete
+
 haskell:
     cd lib/customer-deposit-wallet-pure/ && ./generate-haskell.sh
 
 build0:
     cabal build -v0 -O0 -j all
 
-clean:
-    find . -name "*.agdai" -type f -delete
+ci:
+    just haskell && git diff --exit-code && just build0