Adds nix-based CI build to address Issue #45

GaloisInc · Aug 30, 2023 · 6f44dac · 6f44dac
1 parent 40a66cc
commit 6f44dac
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
@@ -0,0 +1,19 @@
+name: Yapall nix CI
+on:
+  - push
+  - pull_request
+
+jobs:
+  build:
+    steps:
+      - uses: actions/checkout@v3
+      - uses: cachix/install-nix-action@v20
+        extra_nix_config: |
+          access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+      - uses: cachix/cachix-action@v12
+        with:
+          name: galois
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+      - name: build and test
+        shell: bash
+        run: nix build -L .#yapall