reproducer for 'Should be a pair' #81
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 fontawesome5 framed keystroke | |
latexmk mathtools needspace parskip pict2e psnfss stmaryrd tabulary tex-gyre | |
titlesec upquote varwidth wrapfig xcolor 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 |