Add DOI badge to README #7
This file contains hidden or 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: | |
| release: | |
| types: [created] | |
| workflow_dispatch: | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| container: registry.gitlab.com/islandoftex/images/texlive:TL2024-2025-01-05-medium@sha256:3c51378a5396fefbeb722c347450660e9a9b5539ffbfcf5da13df7c6a22cb0e3 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install getnonfreefonts | |
| run: | | |
| curl -L https://www.tug.org/fonts/getnonfreefonts/install-getnonfreefonts -o install-getnonfreefonts | |
| texlua install-getnonfreefonts | |
| - name: Install Luximono | |
| run: | | |
| PATH=/usr/local/texlive/2024/bin/x86_64-linux:$PATH; export PATH | |
| getnonfreefonts --sys luximono | |
| - name: Build PDF | |
| shell: bash | |
| run: | | |
| pdflatex tutorial.tex | |
| pdflatex tutorial.tex | |
| pdflatex tutorial.tex | |
| - uses: actions/upload-artifact@v4.5.0 | |
| with: | |
| path: tutorial.pdf | |
| name: tutorial | |
| if-no-files-found: error | |
| build-gh-pages: | |
| name: Deploy the PDF to GitHub Pages | |
| if: github.ref == 'refs/heads/master' | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| needs: build | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| steps: | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v5 | |
| - name: Download PDF artifact | |
| uses: actions/download-artifact@v5 | |
| with: | |
| name: tutorial | |
| path: artifact | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: artifact | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 | |
| release: | |
| name: Upload PDF to release | |
| if: ${{ github.event_name == 'release' && github.event.action == 'created' }} | |
| runs-on: ubuntu-latest | |
| needs: build | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Download PDF artifact | |
| uses: actions/download-artifact@v5 | |
| with: | |
| name: tutorial | |
| - name: Upload PDF to release | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: | | |
| gh release upload --repo ${{ github.event.repository.full_name }} ${{ github.event.release.tag_name }} tutorial.pdf --clobber |