add missing \ on page 156 #233
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: CI | |
on: | |
push: | |
branches: | |
- master | |
paths-ignore: | |
- '**.md' | |
pull_request: | |
paths-ignore: | |
- '**.md' | |
jobs: | |
skip_check: | |
name: Skip check | |
runs-on: ubuntu-latest | |
outputs: | |
should_skip: ${{ steps.skip_check.outputs.should_skip }} | |
steps: | |
- id: skip_check | |
uses: fkirc/skip-duplicate-actions@v5 | |
with: | |
cancel_others: 'true' | |
paths: '["src/**", "Makefile", "fixdate.pl"]' | |
check: | |
name: Check LaTeX | |
needs: skip_check | |
if: ${{ needs.skip_check.outputs.should_skip != true }} | |
runs-on: ubuntu-latest | |
container: ghcr.io/xu-cheng/texlive-small:latest | |
steps: | |
- name: Install tools | |
run: | | |
apk add make | |
tlmgr update --self | |
tlmgr install chktex | |
tlmgr install latexindent | |
- name: Checkout the repository | |
uses: actions/checkout@v4 | |
- name: Run ChkTeX | |
run: | | |
make src/title.tex | |
cd src | |
chktex lshort.tex -l ../.chktexrc | |
- name: Run latexindent | |
run: | | |
E=0 | |
latexindent -kv -m -l .localSettings.yaml src/*.tex > /dev/null || E=1 | |
cat src/indent.log | |
# it seems localIndent settings get ignored, so for the time | |
# being ignore broken indentation | |
exit 0 | |
build_latex: | |
name: Build LaTeX | |
needs: skip_check | |
if: ${{ needs.skip_check.outputs.should_skip != true }} | |
runs-on: ubuntu-latest | |
container: ghcr.io/xu-cheng/texlive-full:latest | |
steps: | |
- name: Install tools | |
run: | | |
tlmgr update --self | |
tlmgr update --all | |
tlmgr install hyphen-french hyph-utf8 hyphen-german | |
apk add make | |
apk add git | |
apk add py3-pygments | |
- name: Checkout the repository | |
uses: actions/checkout@v4 | |
with: | |
submodules: recursive | |
- name: Build all | |
run: | | |
make all | |
- name: Upload artifacts | |
uses: actions/upload-artifact@v3 | |
with: | |
name: result | |
path: | | |
pdfbuild |