Print build logs when building Nix flakes (#3389)

* Print build logs

* Typo

Co-authored-by: rv-jenkins <[email protected]>

Author: Baltoli

.github/workflows/test.yml

@@ -53,13 +53,13 @@ jobs:
         run: nix-build -A kore
 
       - name: Build GHC9
-        run: GC_DONT_GC=1 nix build .#kore-exec-ghc9
+        run: GC_DONT_GC=1 nix build --print-build-logs .#kore-exec-ghc9
 
       - name: Check shell
-        run: nix develop --command stack --version
+        run: nix develop --print-build-logs --command stack --version
 
       - name: Check GHC9 shell
-        run: nix develop .#ghc9 --command stack --version
+        run: nix develop --print-build-logs .#ghc9 --command stack --version
 
       - name: Run unit tests
         run: nix-build -A project.kore.checks