Merge branch 'master' of github.com:zakariamaaraki/RemoteCodeCompiler

zakariamaaraki · Jan 1, 2024 · 84aedc5 · 84aedc5
2 parents 41b554b + a90ead6
commit 84aedc5
Showing 1 changed file with 12 additions and 11 deletions.
diff --git a/.github/workflows/build-master.yaml b/.github/workflows/build-master.yaml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v1
 
       - name: Set up JDK 11
         uses: actions/setup-java@v1
@@ -26,7 +26,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v1
       - uses: actions/setup-java@v1
         with:
           java-version: 11
@@ -43,12 +43,13 @@ jobs:
           echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
           echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"
 
-      - name: Commit the badge (if it changed)
-        if: github.ref == 'refs/heads/master'
-        run: |
-          if [[ `git status --porcelain` ]]; then
-            git config --global user.name 'zakaria maaraki'
-            git add -A
-            git commit -m "Autogenerated JaCoCo coverage badge"
-            git push
-          fi  
+      #- name: Commit the badge (if it changed)
+      #  if: github.ref == 'refs/heads/master'
+      #  run: |
+      #    if [[ `git status --porcelain` ]]; then
+      #      git config --global user.name 'zakaria maaraki'
+      #      git config user.email "[email protected]"
+      #      git add -A
+      #      git commit -m "Autogenerated JaCoCo coverage badge"
+      #      git push origin HEAD:master
+      #    fi