diff options
author | Bartosz Taudul <wolf.pld@gmail.com> | 2020-05-06 02:52:34 +0300 |
---|---|---|
committer | Bartosz Taudul <wolf.pld@gmail.com> | 2020-05-06 03:05:53 +0300 |
commit | bcaa07cdb4d0355087641b0adf42b5034b0264df (patch) | |
tree | 6a576569dd0729b544cae124fcbb1b9799944c09 /.github | |
parent | 5dc20aaef312e6fc705959b0a546ea4385a870bf (diff) |
Add latex manual CI job.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/latex.yml | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/.github/workflows/latex.yml b/.github/workflows/latex.yml new file mode 100644 index 00000000..9947545a --- /dev/null +++ b/.github/workflows/latex.yml @@ -0,0 +1,28 @@ +name: Build manual + +on: + push: + branches: [ master ] + pull_request: + branches: [ master ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v2 + - name: Fix stupidity + run: | + cp AUTHORS AUTHORS. + cp LICENSE LICENSE. + - name: Compile LaTeX + uses: xu-cheng/latex-action@v2 + with: + working_directory: manual + root_file: tracy.tex + - uses: actions/upload-artifact@v2 + with: + name: manual + path: manual/tracy.pdf |