add ci

.github/workflows/nix-ci.yml

@@ -0,0 +1,35 @@
+name: Nix CI
+
+# Trigger the workflow on push or pull request, but only for the master branch
+on:
+  pull_request:
+  push:
+    paths:
+      - 'lib/**'
+      - 'src/**'
+      - 'test/**'
+      - 'agda2hs.agda-lib'
+      - 'agda2hs.cabal'
+      - 'cabal.project'
+      - 'Makefile'
+      - '.github/workflows/**.yml'
+    branches: [master]
+
+jobs:
+  nix-build:
+    name: ${{ matrix.pretty }} with nix (${{ matrix.derivation }})
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        derivation: [agda2hs, agda2hs-lib]
+        include:
+          - pretty: "Compile agda2hs"
+            derivation: agda2hs
+          - pretty: "Typecheck with Agda"
+            derivation: agda2hs-lib
+    steps:
+    - uses: actions/checkout@v3
+    - uses: cachix/install-nix-action@v22
+    - uses: DeterminateSystems/magic-nix-cache-action@v2
+    - run: nix build .#${{ matrix.derivation }} --print-build-logs

flake.nix

@@ -40,7 +40,7 @@
         };
         lib = {
           inherit (agda2hs) withPackages;
-          inherit agda2hs-expr agda2hs-pkg agda2hs-hs;
+          inherit agda2hs-pkg agda2hs-hs agda2hs-expr;
         };
         devShells.default = pkgs.haskellPackages.shellFor {
           packages = p: [agda2hs-pkg];