document the values of has_arg for getopt_long #201
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 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 |