Skip to content

Manual

Manual #2347

Workflow file for this run

name: Manual
on:
workflow_dispatch:
pull_request:
push:
branches:
- main
- stable-*.*
schedule:
# Every day at 3:20 AM UTC
- cron: "20 3 * * *"
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
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: Digraphs manual
retention-days: 7
path: |
doc/manual.pdf
doc/*.html
doc/*.css
doc/*.js