Skip to content

add missing \ on page 156 #229

add missing \ on page 156

add missing \ on page 156 #229

Workflow file for this run

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
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: |
*.pdf
pdfbuild