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