Skip to content

Manual

Manual #1879

Workflow file for this run

name: "Manual"
on:
workflow_dispatch:
pull_request:
push:
branches:
- "main"
- "stable-*.*"
schedule:
# Every day at 3:33 AM UTC
- cron: '33 3 * * *'
jobs:
manual:
name: "compile and upload manual"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: "Install TeX Live"
run: |
packages=(
texlive-latex-base
texlive-latex-recommended
texlive-latex-extra
texlive-extra-utils
texlive-fonts-recommended
texlive-fonts-extra
)
sudo apt-get update
sudo apt-get install "${packages[@]}"
- uses: gap-actions/setup-gap@v2
env:
GAP_BOOTSTRAP: "minimal"
with:
GAP_PKGS_TO_BUILD: ''
- uses: gap-actions/build-pkg-docs@v1
- name: "Upload compiled manuals"
uses: actions/upload-artifact@v4
with:
name: "Semigroups manual"
retention-days: 7
path: |
doc/manual.pdf
doc/*.html
doc/*.css
doc/*.js