Skip to content

Commit

Permalink
chore: build PDFs on each change
Browse files Browse the repository at this point in the history
  • Loading branch information
david-christiansen committed Jan 3, 2024
1 parent 8434d84 commit 9b1bafd
Showing 1 changed file with 21 additions and 1 deletion.
22 changes: 21 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,27 @@ jobs:
run: |
lean --version
- name: build
- name: Build the project
run: |
lake build
- name: Generate the manual
run: |
./generate.sh
cp _out/tex/main.pdf ./manual.pdf
- name: Upload PDF to artifact storage
if: github.ref != 'refs/heads/master'
uses: actions/upload-artifact@v3
with:
name: "LeanDoc manual"
path: "manual.pdf"

- uses: "marvinpinto/action-automatic-releases@latest"
if: github.ref == 'refs/heads/master'
with:
repo_token: "${{ secrets.GITHUB_TOKEN }}"
automatic_release_tag: "latest"
title: "LeanDoc manual"
files: |
manual.pdf

0 comments on commit 9b1bafd

Please sign in to comment.