Update reasoning.yml

dini-ag-kim · May 13, 2024 · 4413310 · 4413310
1 parent 8e06abd
commit 4413310
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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