Try generating PR for subdirectory in workflow

Sophietje · Apr 10, 2023 · 17888df · 17888df
1 parent c9da9e7
commit 17888df
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -32,8 +32,11 @@ jobs:
           java -jar ProVerBMate-1.6.0.jar --spring.profiles.active=daily --github-token=${{secrets.GIT_API}} --springer-key=${{secrets.SPRINGER_KEY}} --cross-ref.mailto=${{secrets.CROSS_REF}}
           echo Enrichment success.
 
-      - name: Remove downloaded & generated artifacts
-        run: rm -f ProVerBMate-1.6.0.jar ProVerB_1.6.0.owl enriched_ProVerB_1.6.0.owl extracted_ProVerB_1.6.0.owl
+      #- name: Remove downloaded & generated artifacts
+      #  run: rm -f ProVerBMate-1.6.0.jar ProVerB_1.6.0.owl enriched_ProVerB_1.6.0.owl extracted_ProVerB_1.6.0.owl
 
       - name: Create PR
         uses: peter-evans/create-pull-request@v5
+        with:
+          commit-message: Update generated by ProVerBMate
+          path: Verification-Tool-Overview