From 58e24166711524b99b6b01ae6c3009909744d060 Mon Sep 17 00:00:00 2001
From: blissful <blissful@sunsetglow.net>
Date: Mon, 9 Oct 2023 11:21:15 -0400
Subject: [PATCH] set up ci

---
 .github/workflows/build.yaml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/workflows/build.yaml

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
new file mode 100644
index 0000000..d39016a
--- /dev/null
+++ b/.github/workflows/build.yaml
@@ -0,0 +1,25 @@
+name: build
+on: push
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    env:
+      ACTIONS_ALLOW_UNSECURE_COMMANDS: true
+    steps:
+      - uses: actions/checkout@v3
+      - uses: cachix/install-nix-action@v20
+      - uses: cachix/cachix-action@v12
+        with:
+          name: rose
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+      - name: Build Nix
+        run: nix build -j8 ../\#devShells.x86_64-linux.default
+      - name: Typecheck
+        if: success() || failure()  # Means that we run all steps even if one fails.
+        run: nix develop ../\#devShells.x86_64-linux.default --command make typecheck
+      - name: Test
+        if: success() || failure()
+        run: nix develop ../\#devShells.x86_64-linux.default --command make test
+      - name: Lint
+        if: success() || failure()
+        run: nix develop ../\#devShells.x86_64-linux.default --command make lintcheck