hydra-coding-standards: 0.6.6 (#19)

* hydra-coding-standards: 0.6.6

* Add nix flake check github action

Author: locallycompact

.github/workflows/ci-nix.yaml

@@ -39,3 +39,35 @@ jobs:
         name: hydra-spec
         path: |
           ./result/*.pdf
+
+
+  nix-flake-check:
+    name: "nix flake check"
+    runs-on: ubuntu-latest
+    steps:
+    - name: 📥 Checkout repository
+      uses: actions/checkout@v4
+
+    - name: ❄ Prepare nix
+      uses: cachix/install-nix-action@v30
+      with:
+        extra_nix_config: |
+          accept-flake-config = true
+          log-lines = 1000
+
+    - name: ❄ Cachix cache of nix derivations
+      uses: cachix/cachix-action@v15
+      with:
+        name: cardano-scaling
+        authToken: '${{ secrets.CACHIX_CARDANO_SCALING_AUTH_TOKEN }}'
+
+    - name: ❄ Build specification
+      run: |
+        nix flake check
+
+    - name: 💾 Upload specification
+      uses: actions/upload-artifact@v4
+      with:
+        name: hydra-spec
+        path: |
+          ./result/*.pdf

Shakefile.hs

@@ -1,38 +1,39 @@
-import Control.Monad (forM)
+import Control.Monad (forM_)
 import Development.Shake
 import Development.Shake.Command
 import Development.Shake.FilePath
 import Development.Shake.Util
 
 main :: IO ()
-main = shakeArgs shakeOptions{shakeFiles="_build"} $ do
-    want ["_build/hydra-spec" <.> "pdf"]
+main = shakeArgs shakeOptions{shakeFiles = "_build"} $ do
+  want ["_build/hydra-spec" <.> "pdf"]
 
-    phony "clean" $ do
-      putInfo "Cleaning files in _build"
-      removeFilesAfter "_build" ["//*"]
+  phony "clean" $ do
+    putInfo "Cleaning files in _build"
+    removeFilesAfter "_build" ["//*"]
 
-    "_build/hydra-spec" <.> "pdf" %> \out -> do
-      assets <- getDirectoryFiles "src" ["//*.sty", "Hydra/Protocol/Figures/*.svg", "//*.bib", "//*.ttf"]
-      need ["_build/latex" </> c | c <- assets]
+  "_build/hydra-spec" <.> "pdf" %> \out -> do
+    assets <- getDirectoryFiles "src" ["//*.sty", "Hydra/Protocol/Figures/*.svg", "//*.bib", "//*.ttf"]
+    need ["_build/latex" </> c | c <- assets]
 
-      srcs <- getDirectoryFiles "src" ["//*.lagda", "//*.tex"]
-      need ["_build/latex" </> c -<.> "tex" | c <- srcs]
+    srcs <- getDirectoryFiles "src" ["//*.lagda", "//*.tex"]
+    need ["_build/latex" </> c -<.> "tex" | c <- srcs]
 
-      cmd_ (Cwd "_build/latex") "latexmk -xelatex -shell-escape -halt-on-error Hydra/Protocol/Main.tex"
-      cmd_ "cp _build/latex/Main.pdf _build/hydra-spec.pdf"
+    cmd_ (Cwd "_build/latex") "latexmk -xelatex -shell-escape -halt-on-error Hydra/Protocol/Main.tex"
+    cmd_ "cp _build/latex/Main.pdf _build/hydra-spec.pdf"
 
-    -- Copy assets
-    forM ["sty", "svg", "bib", "ttf"] $ \ext ->
-      ("_build/latex//*." <> ext)  %> \out -> do
-        let src = "src" </> dropDirectory1 (dropDirectory1 out)
-        copyFile' src out
-
-    -- Copy or compile from lagda files
-    "_build/latex//*.tex"  %> \out -> do
+  -- Copy assets
+  forM_ ["sty", "svg", "bib", "ttf"] $ \ext ->
+    ("_build/latex//*." <> ext) %> \out -> do
       let src = "src" </> dropDirectory1 (dropDirectory1 out)
-      b <- doesFileExist src
-      if b then do
+      copyFile' src out
+
+  -- Copy or compile from lagda files
+  "_build/latex//*.tex" %> \out -> do
+    let src = "src" </> dropDirectory1 (dropDirectory1 out)
+    b <- doesFileExist src
+    if b
+      then do
         need [src]
         copyFile' src out
       else do