New deadcode warning CoinductiveEtaRecord instead of GenericError #1864
Workflow file for this run
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
| ###################################################### | |
| ## ## | |
| ## !!!! Autogenerated YAML file, do not edit !!!! ## | |
| ## ## | |
| ## Edit source in /src/github/workflows/ instead! ## | |
| ## ## | |
| ###################################################### | |
| jobs: | |
| build: | |
| env: | |
| python-version: '3.12' | |
| if: | | |
| !contains(github.event.head_commit.message, '[skip ci]') | |
| && !contains(github.event.head_commit.message, '[ci skip]') | |
| && !contains(github.event.head_commit.message, '[github skip]') | |
| && !contains(github.event.head_commit.message, '[skip github]') | |
| runs-on: ubuntu-24.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install imagemagick (convert) | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install imagemagick | |
| - name: Set up Python ${{ env.python-version }} | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: ${{ env.python-version }} | |
| - name: Install dependencies | |
| run: | | |
| pip install -r doc/user-manual/requirements.txt | |
| - name: Setup TeX Live | |
| uses: teatimeguest/setup-texlive-action@v3 | |
| with: | |
| packages: scheme-basic anyfontsize bbm bbm-macros booktabs capt-of cmap colortbl | |
| dvipng ellipse etoolbox fancyvrb float fncychap framed keystroke latexmk | |
| mathtools needspace parskip pict2e psnfss stmaryrd tabulary tex-gyre titlesec | |
| upquote varwidth wrapfig zapfchan | |
| - name: Build User Manual in HTML | |
| run: | | |
| export PATH=$HOME/texlive/bin/x86_64-linux:$PATH | |
| make user-manual-html | |
| - name: Build User Manual in PDF | |
| run: | | |
| export PATH=$HOME/texlive/bin/x86_64-linux:$PATH | |
| make user-manual-pdf | |
| - uses: actions/upload-artifact@v4 | |
| with: | |
| name: user-manual-pdf | |
| path: doc/user-manual.pdf | |
| name: User Manual | |
| 'on': | |
| pull_request: | |
| paths: | |
| - doc/user-manual/** | |
| - .github/workflows/user_manual.yml | |
| push: | |
| branches: | |
| - master | |
| - ci-* | |
| - release* | |
| paths: | |
| - doc/user-manual/** | |
| - .github/workflows/user_manual.yml |