Skip to content

For WORD-WAD, store misspelled bit in %ERRORS slot #25

For WORD-WAD, store misspelled bit in %ERRORS slot

For WORD-WAD, store misspelled bit in %ERRORS slot #25

name: publish-documentation
on: [push]
jobs:
# Build documentation and create artifact
build:
runs-on: ubuntu-latest
steps:
- name: Prepare runner
run: |
DEBIAN_FRONTEND=noninteractive sudo apt-get -qq update \
&& DEBIAN_FRONTEND=noninteractive sudo apt-get -qq --assume-yes install \
sbcl texlive texlive-latex-extra librsvg2-bin
- uses: actions/checkout@v1
- name: Build documentation
run: |
cd documentation
make
mkdir -p build build/{pdf,info}
cp index.html build/
cp *.png build/
cp incrementalist.html build/
cp incrementalist.pdf build/pdf/
cp incrementalist.info build/info/
- name: Create artifact
uses: actions/upload-pages-artifact@v3
with:
path: documentation/build
# Deploy to GitHub pages if main branch
deploy:
runs-on: ubuntu-latest
needs: build
if: github.ref == 'refs/heads/main'
# Grant GITHUB_TOKEN the permissions required to make a Pages
# deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
# Deploy to the github-pages environment
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4