Merge pull request #3 from Zarquan/20230920-zrq-gardening #14
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This file generated from a template file maintained in the ivoatex repository. | |
# To create and install it into a project repository, do: | |
# make github-preview | |
# git commit | |
# git push | |
# | |
name: Update PDF Preview | |
env: | |
doc_name: ExecutionPlanner | |
on: | |
push: | |
branches: | |
- master | |
- main | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the repository | |
uses: actions/checkout@v1 | |
with: | |
submodules: true | |
- name: Setup dependencies | |
run: | | |
sudo apt update | |
sudo apt install texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended xsltproc latexmk cm-super | |
sudo snap install pdftk | |
- name: Build the document | |
run: make biblio ${{ env.doc_name }}-draft.pdf | |
- name: Check the output | |
run: | | |
test -f ${{ env.doc_name }}-draft.pdf | |
test -f ${{ env.doc_name }}.bbl | |
- name: Move the auto-pdf-preview tag | |
uses: weareyipyip/walking-tag-action@v2 | |
with: | |
tag-name: auto-pdf-preview | |
tag-message: | | |
Last commit taken into account for the automatically updated PDF preview of this IVOA document. | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
- name: Update the PDF preview | |
uses: Xotl/cool-github-releases@v1 | |
with: | |
mode: update | |
isPrerelease: true | |
tag_name: auto-pdf-preview | |
release_name: "Auto PDF Preview" | |
body_mrkdwn: | | |
This release aims to provide a PDF preview of the last commit applied on this repository. | |
It will be updated automatically after each merge of a PullRequest. | |
**DO NOT PUBLISH THIS PRE-RELEASE!**" | |
_Corresponding commit: ${{ github.sha }}_ | |
assets: ${{ env.doc_name }}-draft.pdf | |
replace_assets: true | |
github_token: ${{ secrets.GITHUB_TOKEN }} |