Skip to content

Creating GitHub pages site #12

Creating GitHub pages site

Creating GitHub pages site #12

Workflow file for this run

# 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: Check the IVOA document
env:
doc_name: ExecutionBroker
on:
pull_request:
types: [opened, synchronize, reopened]
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
- name: Build the document
run: make
- name: Check the output
run: |
test -f ${{ env.doc_name }}.pdf
test -f ${{ env.doc_name }}.bbl
- name: Keep the PDF artefact
uses: actions/upload-artifact@v1
with:
name: PDF Preview
path: ${{ env.doc_name }}.pdf