Add a github workflow

jerandre · Mar 1, 2023 · 185c219 · 185c219
1 parent b614eca
commit 185c219
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -0,0 +1,17 @@
+name: "Build 2023"
+on:
+  pull_request:
+  push:
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - uses: cachix/install-nix-action@v19
+    - name: Build pdf
+      run: nix develop -c ./build.sh 2023
+    - name: Output pdf
+      uses: actions/upload-artifact@v3
+      with:
+        name: output
+        path: planner.2023.pdf