From 4413310853252a2e9dd1be3896a839df0c494368 Mon Sep 17 00:00:00 2001 From: joergwa Date: Mon, 13 May 2024 16:38:30 +0200 Subject: [PATCH] Update reasoning.yml --- .github/workflows/reasoning.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/reasoning.yml b/.github/workflows/reasoning.yml index a35d0fc..fae83a5 100644 --- a/.github/workflows/reasoning.yml +++ b/.github/workflows/reasoning.yml @@ -14,8 +14,8 @@ jobs: run: | curl -L -o robot.jar "https://github.com/ontodev/robot/releases/latest/download/robot.jar" java -jar robot.jar reason --reasoner hermit --input lehrplan.ttl --output reasoned.ttl - + rm robot.jar - uses: mikeal/publish-to-github-action@master env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - BRANCH_NAME: '' #optional defaults to master + BRANCH_NAME: 'main' #optional defaults to master