add missing \ on page 156 #228
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 | |
exit $E | |
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 | |
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 |