Skip to content

Reopen PR for issue #112 and fixing broken PDF output #193

Reopen PR for issue #112 and fixing broken PDF output

Reopen PR for issue #112 and fixing broken PDF output #193

Workflow file for this run

name: PreTeXt-CLI Actions
on:
# Runs on pull requests
pull_request:
branches: ["*"]
# Runs on pushes to main
push:
branches: ["main"]
# Runs on demand
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
container: oscarlevin/pretext:full
steps:
- name: Checkout source
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: '3.x'
- name: Install dependencies
run: |
apt-get update
apt-get install -y inkscape
shell: bash
- name: Verify Inkscape Installation
run: inkscape --version
- name: install deps
run: |
pip install -r requirements.txt
pretext --version
- name: ensure proper asset type in image references
run: ./update-img-refs.py source/ --to-svg
- name: build deploy targets
run: |
version="$(pretext --version)"
major="$(echo $version | cut -d '.' -f 1)"
minor="$(echo $version | cut -d '.' -f 2)"
if [ "$major" -ge 2 -a "$minor" -ge 5 ]; then
echo "PreTeXt version is 2.5 or greater; using new build command"
pretext build --deploys
else
echo "PreTeXt version is less than 2.5, using old build command"
pretext build
fi
- name: stage deployment
run: pretext deploy --stage-only
- name: Bundle output/stage as artifact
uses: actions/upload-artifact@v4
with:
name: deploy
path: output/stage
- name: ensure proper asset type in image references for pdf output
run: |
make svg-to-pdf
./update-img-refs.py source/ --to-pdf
- name: Build PDF with PreTeXt
run: pretext build print
- name: Bundle output/print as PDF artifact
uses: actions/upload-artifact@v4
with:
name: pdf
path: output/print
deploy-ghpages:
runs-on: ubuntu-latest
needs: build
if: vars.PTX_ENABLE_DEPLOY_GHPAGES == 'yes' && github.ref == format('refs/heads/{0}', github.event.repository.default_branch)
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "page"
cancel-in-progress: false
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Download website artifact
uses: actions/download-artifact@v4
with:
name: deploy
path: deploy
- name: Setup GitHub Pages
id: check
uses: actions/configure-pages@v4
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: deploy
- name: Deploy to Github Pages
id: deployment
uses: actions/deploy-pages@v4
update-pdf:
runs-on: ubuntu-latest
needs: build
if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch)
permissions:
contents: write
steps:
- name: Checkout source
uses: actions/checkout@v4
- name: Fetch and switch to main branch
run: |
git fetch origin
git checkout main
git reset --hard origin/main
- name: Download PDF artifact
uses: actions/download-artifact@v4
with:
name: pdf
path: output/print
- name: Create or update pdf-update branch from main
run: git checkout -B pdf-update
- name: Set up Git user
run: |
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
- name: Commit changes
run: |
git add output/print/discrete-math-with-sage.pdf
git commit -m "Update PDF" || echo "No changes to commit"
- name: Force push to pdf-update branch
run: git push origin pdf-update --force