Add make build/Generated/Types.hs

amitaibu · Nov 3, 2023 · 8350b80 · 8350b80
1 parent 420ce15
commit 8350b80
Show file tree

Hide file tree

Showing 2 changed files with 363 additions and 5 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -43,5 +43,6 @@ jobs:
 
     - run: |
           ssh-keygen -t rsa -b 4096 -m PEM -f ./Config/jwtRS256.key -N "" && openssl rsa -in ./Config/jwtRS256.key -pubout -outform PEM -out ./Config/jwtRS256.key.pub
+          nix-shell --run "make build/Generated/Types.hs"
           nix-shell --run "devenv up &"
           nix-shell --run "runghc $(make print-ghc-extensions) -i. -ibuild -iConfig Test/Main.hs"