From 04cbdcacf3ce5b07705a74957b70022f33608dc4 Mon Sep 17 00:00:00 2001 From: joergwa Date: Tue, 14 May 2024 12:14:14 +0200 Subject: [PATCH] Update reasoning.yml --- .github/workflows/reasoning.yml | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/.github/workflows/reasoning.yml b/.github/workflows/reasoning.yml index 32aee19..2db2fcd 100644 --- a/.github/workflows/reasoning.yml +++ b/.github/workflows/reasoning.yml @@ -15,10 +15,17 @@ jobs: curl -L -o robot.jar "https://github.com/ontodev/robot/releases/latest/download/robot.jar" java -jar robot.jar merge --include-annotations true --input lehrplan.ttl query --update .github/workflows/update.sparql reason --reasoner hermit --axiom-generators "SubClass EquivalentClass DisjointClasses DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain" --include-indirect true remove --term owl:topObjectProperty reduce --output reasoned.ttl rm robot.jar - - uses: mikeal/publish-to-github-action@master - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - BRANCH_NAME: 'main-reasoned' #optional defaults to master + - uses: stefanzweifel/git-auto-commit-action@v5 + with: + branch: main-reasoned + commit_options: '--no-verify' + push_options: '--force' + +# - uses: mikeal/publish-to-github-action@master +# env: +# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} +# BRANCH_NAME: 'main-reasoned' #optional defaults to master + - name: Invoke ping uses: distributhor/workflow-webhook@v3