Skip to content

Commit

Permalink
Update reasoning.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
joergwa committed May 13, 2024
1 parent c8b751d commit 8e06abd
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions .github/workflows/reasoning.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,10 @@ jobs:
- uses: actions/checkout@v3
with:
ref: main
path: main
- name: Reasoning
run: |
curl -L -o robot.jar "https://github.com/ontodev/robot/releases/latest/download/robot.jar"
java -jar robot.jar reason --reasoner hermit --input main/lehrplan.ttl --output reasoned.ttl
java -jar robot.jar reason --reasoner hermit --input lehrplan.ttl --output reasoned.ttl
- uses: mikeal/publish-to-github-action@master
env:
Expand Down

0 comments on commit 8e06abd

Please sign in to comment.