Merge branch 'develop-3.0.0' of https://github.com/materialdigital/co…

…re-ontology into develop-3.0.0
materialdigital · Sep 20, 2024 · 177c21d · 177c21d
2 parents dfd9713 + a01c5bf
commit 177c21d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
@@ -3,7 +3,7 @@ name: HTML
 on:
  push:
  branches:
- - main
+ - develop-3.0.0
 jobs:
  deploy:
  runs-on: ubuntu-latest

diff --git a/.github/workflows/reasoning.yaml b/.github/workflows/reasoning.yaml
@@ -14,6 +14,7 @@ jobs:
  path: main
  - name: Validate pmd-core.ttl by reasoning with ELK
  run: |
+ cd main
  curl -L -o robot.jar "https://github.com/ontodev/robot/releases/latest/download/robot.jar"
- java -jar robot.jar reason --reasoner elk --input main/pmd-core.ttl --output main/pmd-core-reasoned.ttl
+ java -jar robot.jar reason --catalog catalog-v001.xml --reasoner elk --input pmd-core.ttl --output pmd-core-reasoned.ttl