Skip to content

Adding property schema: publishingPrinciples to MOD #37

Adding property schema: publishingPrinciples to MOD

Adding property schema: publishingPrinciples to MOD #37

Workflow file for this run

name: widoco
# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for all branches
on:
push:
branches: [ '*' ]
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- name: Deploy Java
uses: actions/setup-java@v1.4.3
with:
java-version: 1.8
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- name: Checkout repo
uses: actions/checkout@v2
- name: Download widoco
run: mkdir widoco && wget -O widoco/widoco.jar https://github.com/dgarijo/Widoco/releases/download/v1.4.14/widoco-1.4.14-jar-with-dependencies.jar
- name: Compile documentation
run: |
cd widoco
java -jar ./widoco.jar \
-ontFile ../mod.ttl \
-oops \
-webVowl \
-includeAnnotationProperties \
-outFolder doc/ \
-rewriteAll \
-includeImportedOntologies \
-uniteSections \
-excludeIntroduction
cd ..
- name: Publish on Github Pages
uses: crazy-max/ghaction-github-pages@v2.3.0
with:
build_dir: widoco/doc
publish_dir: target/site
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}