workflows: Switch to new GitHub Pages workflow #12
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: [push, pull_request] | |
| jobs: | |
| latex: | |
| name: LaTeX | |
| runs-on: ubuntu-24.04 | |
| timeout-minutes: 30 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| persist-credentials: false | |
| show-progress: false | |
| - name: Install dependencies | |
| run: | | |
| sudo apt update || true | |
| sudo apt --yes --no-install-recommends install texlive texlive-fonts-extra texlive-lang-german texlive-latex-extra texlive-plain-generic latexmk | |
| sudo apt --yes --no-install-recommends install ghostscript imagemagick | |
| - name: Allow PDF conversions | |
| # FIXME Ubuntu has blocked PDF conversions in ImageMagick for security reasons | |
| run: | | |
| sudo sed --in-place '/disable ghostscript format types/,+6d' /etc/ImageMagick-6/policy.xml | |
| - name: Configure Pages | |
| uses: actions/configure-pages@v5 | |
| - name: Build presentation | |
| run: | | |
| cd presentation | |
| latexmk -pdf presentation.tex | |
| - name: Build report | |
| run: | | |
| cd report | |
| latexmk -pdf report.tex | |
| - name: Build thesis | |
| run: | | |
| cd thesis | |
| latexmk -pdf thesis.tex | |
| - name: Create thumbnails | |
| run: | | |
| convert -colorspace sRGB -density 300 -thumbnail 1920x1920 -quality 90 -background white -alpha remove -alpha off 'presentation/presentation.pdf[0]' presentation/presentation.png | |
| convert -colorspace sRGB -density 300 -thumbnail 1920x1920 -quality 90 -background white -alpha remove -alpha off 'report/report.pdf[0]' report/report.png | |
| convert -colorspace sRGB -density 300 -thumbnail 1920x1920 -quality 90 -background white -alpha remove -alpha off 'thesis/thesis.pdf[0]' thesis/thesis.png | |
| - name: Prepare directory | |
| run: | | |
| mkdir public | |
| cp presentation/presentation.pdf presentation/presentation.png public/ | |
| cp report/report.pdf report/report.png public/ | |
| cp thesis/thesis.pdf thesis/thesis.png public/ | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: public | |
| deploy: | |
| name: Deploy | |
| needs: latex | |
| runs-on: ubuntu-24.04 | |
| timeout-minutes: 30 | |
| if: ${{ github.ref == 'refs/heads/master' }} | |
| permissions: | |
| id-token: write | |
| pages: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |