Update CI workflow

Disabling CI for PRs because of permission issues
Argent77 · Nov 16, 2024 · 87bad5e · 87bad5e
1 parent 49ea27b
commit 87bad5e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ant.yml b/.github/workflows/ant.yml
@@ -3,14 +3,14 @@ name: Java CI with Apache Ant
 on:
   push:
     branches: [ devel ]
-  pull_request:
-    branches: [ devel ]
+#  pull_request:
+#    branches: [ devel ]
 
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Set up JDK 1.8
         uses: actions/setup-java@v3
         with: