Skip to content
Documentation

Documentation #157

Sign in to view logs

Documentation

Documentation #157

Workflow file for this run

.github/workflows/documentation.yml at 8bcce22
name: Documentation
on:
workflow_dispatch:
workflow_run:
workflows: ["Evaluation"]
types:
- completed
jobs:
vocabulary:
if: ${{ github.event.workflow_run.conclusion == 'success' }}
name: SOMA Vocabulary
runs-on: ubuntu-latest
defaults:
run:
working-directory: ./docs/vocab/
steps:
- name: Checkout
uses: actions/checkout@v1
- name: Copy
run: |
cp ./Makefile ../../
cp ./SOMA-vocabulary.tex ../../
cp ./owl_reader.py ../../
- name: Build
uses: ./.github/actions/pythonlatex
with:
args: make
- name: Upload
uses: actions/upload-artifact@v1
with:
name: SOMA Vocabulary
path: ./SOMA-vocabulary.pdf
handbook:
if: ${{ github.event.workflow_run.conclusion == 'success' }}
name: NEEM Handbook
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v1
with:
fetch-depth: 1
- name: Build
uses: docker://blang/latex:ubuntu
with:
args: make -f ./docs/NEEM-handbook/Makefile
- name: Upload
uses: actions/upload-artifact@v1
with:
name: NEEM Handbook
path: ./docs/NEEM-handbook/main.pdf