Add GitHub workflow

gnulug · Mar 8, 2024 · d4835c5 · d4835c5
1 parent 4eb96b6
commit d4835c5
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -0,0 +1,12 @@
+on:
+  - push
+  - pull_request
+name: test
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: ci.sh
+        run: nix develop --command ./ci.sh