Deploy content from c64f7ef

Author: github-actions[bot]

.github/workflows/build.yml

@@ -0,0 +1,71 @@
+name: Build
+
+on: [push, pull_request]
+
+jobs:
+  ubuntu-build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Setup environment
+      run: |
+        sudo add-apt-repository ppa:ubuntu-toolchain-r/test
+        sudo apt-get update
+        sudo apt-get install ninja-build
+        sudo apt-get install texlive*
+    - name: Build
+      run: |
+        find . -iname '*.tex' -exec pdflatex {} \;
+    - uses: actions/upload-artifact@v4
+      with:
+        name: pdf-linux
+        path: '*.pdf'
+  macos-build:
+    runs-on: macos-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Setup environment
+      run: |
+        brew install --cask mactex
+    - name: Build
+      run: |
+        eval "$(/usr/libexec/path_helper)"
+        find . -iname '*.tex' -exec pdflatex {} \;
+    - uses: actions/upload-artifact@v4
+      with:
+        name: pdf-macos
+        path: '*.pdf'
+  deploy-to-github-pages:
+    needs: ubuntu-build
+    runs-on: ubuntu-latest
+    # if: github.ref == 'refs/heads/main'
+    steps:
+    - uses: actions/checkout@v4
+    - name: Download PDF artifact
+      uses: actions/download-artifact@v4
+      with:
+        name: pdf-linux
+        path: ./slides-src
+    - name: Set up Git user
+      run: |
+        git config user.name "github-actions[bot]"
+        git config user.email "github-actions[bot]@users.noreply.github.com"
+    - name: Switch to github-pages branch
+      run: |
+        git checkout deploy/github-pages || git checkout --orphan deploy/github-pages
+    - name: Copy PDF to github-pages
+      run: |
+        find ./slides-src
+        mkdir ./slides
+        cp -v ./slides-src/*.pdf ./slides
+    - name: Commit and push changes
+      run: |
+        git add ./slides
+        if ! git diff-index --quiet HEAD; then
+          git commit -m "Deploy content from $GITHUB_SHA"
+        else
+          echo "No changes to commit"
+        fi
+    - name: Push changes
+      run: |
+        git push origin deploy/github-pages

.gitignore

@@ -0,0 +1,47 @@
+# LaTeX intermediate files
+*.aux
+*.bbl
+*.blg
+*.brf
+*.idx
+*.ilg
+*.ind
+*.lof
+*.log
+*.lot
+*.nav
+*.out
+*.snm
+*.acn
+*.acr
+*.alg
+*.glg
+*.glo
+*.gls
+*.ist
+*.fls
+*.fdb_latexmk
+*.synctex.gz
+*.run.xml
+*.bcf
+*.vrb
+
+# Editors and IDEs
+# VSCode
+.vscode/
+*.code-workspace
+# LaTeX editor files (TeXShop, TeXworks, etc.)
+*.pdfsync
+*.synctex
+*.synctex(busy)
+
+# PDF files (usually generated as output)
+*.pdf
+
+# Backup files
+*~
+*.bak
+*.backup
+*.tmp
+*.swp
+*.swo