renamed semaphore example #228
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: Compile sanity check | |
| on: | |
| push: | |
| branches: | |
| - master | |
| paths: | |
| - '**.tex' | |
| - '**.m4' | |
| - '**.sty' | |
| - Makefile | |
| - .github/workflows/compile.yml | |
| - 'img/**' | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Update the system | |
| run: sudo apt-get -qq update | |
| - name: Checkout master branch | |
| uses: actions/checkout@v4 | |
| with: | |
| path: master | |
| - name: Install pre-requisites for LaTeX | |
| working-directory: master | |
| run: ./dev/install-latex.sh | |
| - name: Install pre-requisites for spell check | |
| working-directory: master | |
| run: ./dev/install-spellcheck.sh | |
| - name: Check labels | |
| working-directory: master | |
| run: ./dev/check-label.sh | |
| - name: Run spellcheck | |
| working-directory: master | |
| run: make spellcheck | |
| - name: Compile | |
| working-directory: master | |
| run: make slides notes |