Render #68
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 | |
| run-name: Render | |
| on: | |
| push: | |
| branches: | |
| - master | |
| paths-ignore: | |
| - .gitignore | |
| - README* | |
| - LICENSE | |
| - .github/** | |
| - "!.github/workflows/ci.yml" | |
| workflow_dispatch: | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Install Libertinus fonts | |
| run: | | |
| curl -sSL https://github.com/alerque/libertinus/releases/download/v7.051/Libertinus-7.051.zip -o libertinus.zip | |
| unzip libertinus.zip | |
| mkdir -p ~/.fonts | |
| cp Libertinus-7.051/static/OTF/*.otf ~/.fonts/ | |
| - name: Install Font Awesome fonts | |
| run: | | |
| curl -sSL https://github.com/FortAwesome/Font-Awesome/releases/download/7.1.0/fontawesome-free-7.1.0-desktop.zip -o fa.zip | |
| unzip fa.zip | |
| mkdir -p ~/.fonts | |
| cp fontawesome-free-7.1.0-desktop/otfs/*.otf ~/.fonts/ | |
| - run: ls -lh ~/.fonts | |
| - run: echo "TYPST_FONT_PATHS=$HOME/.fonts" >> $GITHUB_ENV | |
| - name: Setup Typst | |
| uses: typst-community/setup-typst@v4 | |
| with: | |
| typst-version: ^0.14 | |
| cache-dependency-path: requirements.typ | |
| - run: rm -f typst/requirements.pdf | |
| - run: typst --version | |
| - run: typst fonts | |
| - run: typst compile syllabus.typ | |
| - run: typst compile lec-logic.typ | |
| - run: typst compile lec-sat.typ | |
| - run: typst compile lec-fol.typ | |
| - run: typst compile lec-computation.typ | |
| - run: typst compile lec-smt.typ | |
| - run: typst compile lec-dafny.typ | |
| - run: | | |
| typst compile --root . homework/hw1.typ | |
| mv homework/hw1.pdf . | |
| - name: List PDFs | |
| run: ls -lh *.pdf | |
| - name: Upload PDFs as artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: PDF | |
| path: "*.pdf" | |
| - name: Prepare files for gh-pages | |
| run: | | |
| mkdir -p public | |
| mv *.pdf public/ | |
| - name: Publish PDFs to gh-pages branch | |
| uses: peaceiris/actions-gh-pages@v4 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./public | |
| force_orphan: true |