Merge pull request #223 from sorki/srk/haskell-ci

Rework CI

Author: sorki

.github/workflows/Cabal-Linux-Remote.yml

@@ -0,0 +1,27 @@
+let haskellCi =
+      https://raw.githubusercontent.com/sorki/github-actions-dhall/main/haskell-ci.dhall
+
+let defSteps = haskellCi.defaultCabalSteps
+
+in    haskellCi.generalCi
+        ( haskellCi.withNix
+            ( defSteps
+              with extraSteps.pre
+                   =
+                    defSteps.extraSteps.pre
+                  # [ haskellCi.installCachixStep "hnix-store"
+                    , haskellCi.BuildStep.NameIf
+                        { name =
+                            "Install libsodium"
+                        , run = "sudo apt install libsodium-dev"
+                        , `if` = "matrix.os == 'ubuntu-latest'"
+                        }
+                    ]
+            )
+        )
+        haskellCi.DhallMatrix::{
+        , ghc =
+          [ haskellCi.GHC.GHC963, haskellCi.GHC.GHC947, haskellCi.GHC.GHC902 ]
+        , os = [ haskellCi.OS.Ubuntu, haskellCi.OS.MacOS ]
+        }
+    : haskellCi.CI.Type

.github/workflows/Core-Cabal-Linux.yml

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+# Script by @fisx
+
+set -eo pipefail
+cd "$( dirname "${BASH_SOURCE[0]}" )"
+
+which dhall-to-yaml || cabal install dhall-yaml
+echo "regenerating ci.yaml"
+dhall-to-yaml-ng --generated-comment --file ci.dhall > ci.yaml