Skip to content

Rename field

Rename field #23

Workflow file for this run

name: Build and Deploy PDF
on:
push:
branches:
- master
pull_request:
branches:
- master
permissions:
contents: read
pages: write
id-token: write
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Build Docker image
run: docker build -t custom-pandoc-latex .
- name: Generate PDF with Pandoc
run: docker run --rm --volume "${{ github.workspace }}:/data" --user `id -u`:`id -g` custom-pandoc-latex doc.md -o doc.pdf --template=/data/doc.tex
- name: Move PDF to a temporary directory
run: |
mkdir -p output
mv doc.pdf output/doc.pdf
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: output
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4