Setup github action to build notes

.github/workflows/build.yaml

@@ -0,0 +1,27 @@
+name: "build document"
+on:
+  push:
+    tags:
+      - '*'
+
+jobs:
+  build_document:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3.2.0
+    - uses: cachix/install-nix-action@v17
+      with:
+        extra_nix_config: |
+          access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+    - uses: cachix/cachix-action@v12
+      with:
+        name: leixb-upc-projects
+        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+        extraPullNames: nix-community
+    - run: nix build -L
+    - name: Release
+      uses: softprops/action-gh-release@v0.1.15
+      if: startsWith(github.ref, 'refs/tags/')
+      with:
+        files: |
+          result/*

flake.nix

@@ -30,7 +30,7 @@
           src = ./.;
           shellEscape = true;
           minted = true;
-          name = "document.pdf";
+          name = "AML-lecture-notes.pdf";
         };
 
         defaultPackage = packages.document;