Recompile after fnurkla's changes #8
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: Compile PDFs | |
| run-name: "Recompile after ${{ github.actor }}'s changes" | |
| on: [push] | |
| # push: | |
| # branches: | |
| # - main | |
| jobs: | |
| compile-pdfs: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: texlive/texlive:latest | |
| env: | |
| TEXINPUTS: ".:..:" | |
| steps: | |
| - name: Install `gh` | |
| run: | | |
| (type -p wget >/dev/null || (apt update && apt-get install wget -y)) \ | |
| && mkdir -p -m 755 /etc/apt/keyrings \ | |
| && wget -qO- \ | |
| https://cli.github.com/packages/githubcli-archive-keyring.gpg | \ | |
| tee /etc/apt/keyrings/githubcli-archive-keyring.gpg > /dev/null \ | |
| && chmod go+r /etc/apt/keyrings/githubcli-archive-keyring.gpg \ | |
| && echo "deb [arch=$(dpkg --print-architecture) \ | |
| signed-by=/etc/apt/keyrings/githubcli-archive-keyring.gpg] \ | |
| https://cli.github.com/packages stable main" | \ | |
| tee /etc/apt/sources.list.d/github-cli.list > /dev/null \ | |
| && apt update \ | |
| && apt install gh -y | |
| - name: Check out document sources | |
| uses: actions/checkout@v4 | |
| - name: Create build directory | |
| run: mkdir build | |
| - name: list | |
| run: ls | |
| - name: Compile statutes | |
| run: | | |
| latexmk -outdir=../build -cd stadgar/stadgar.tex | |
| - name: Compile regulations | |
| run: | | |
| latexmk -outdir=../build -cd reglemente/reglemente.tex | |
| - name: Compile policies | |
| run: | | |
| for filename in policyer/*.tex; do | |
| latexmk -outdir=../build -cd $filename | |
| done | |
| - name: Compile guidelines | |
| run: | | |
| for filename in riktlinjer/*.tex; do | |
| latexmk -outdir=../build -cd $filename | |
| done | |
| - name: List outputs | |
| run: ls build | |
| - name: Create release | |
| if: ${{ github.ref_name == 'main' }} | |
| run: | | |
| git config --global --add safe.directory \ | |
| /__w/styrdokument/styrdokument | |
| gh release delete latest -y | |
| gh release create latest build/*.pdf | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} |