Fixed restarting

ftsrg · Oct 21, 2024 · 3fe13bf · 3fe13bf
1 parent 1d6d1ea
commit 3fe13bf
Show file tree

Hide file tree

Showing 8 changed files with 9 additions and 9 deletions.
diff --git a/.github/actions/benchexec-report/action.yml b/.github/actions/benchexec-report/action.yml
@@ -48,7 +48,7 @@ runs:
             then printf "\n| $task | " >> $GITHUB_OUTPUT
             fi
             lasttask="$task"
-            printf " $emoji ($correct / $incorrect / $all) [HTML](https://theta.mit.bme.hu/benchmark-results/${{ github.head_ref }}/$i/$(ls *.html))/[CSV](https://theta.mit.bme.hu/benchmark-results/${{ github.head_ref }}/$i/$(ls *.csv)) | " >> $GITHUB_OUTPUT
+            printf " $emoji ($correct / $incorrect / $all) [HTML](https://theta.mit.bme.hu/benchmark-results/${{ github.ref }}/$i/$(ls *.html))/[CSV](https://theta.mit.bme.hu/benchmark-results/${{ github.ref }}/$i/$(ls *.csv)) | " >> $GITHUB_OUTPUT
             popd
           else
             rm -rf $i
@@ -68,7 +68,7 @@ runs:
       with:
         branch: gh-pages
         folder: artifacts
-        target-folder: benchmark-results/${{ github.head_ref }}/
+        target-folder: benchmark-results/${{ github.ref }}/
         single-commit: true
     - name: Comment on PR
       if: github.event_name == 'pull_request'

diff --git a/.github/workflows/check-copyright.yml b/.github/workflows/check-copyright.yml
@@ -7,7 +7,7 @@ on:
 permissions: write-all
 
 concurrency: 
-  group: copyright-${{ github.head_ref }}
+  group: copyright-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/check-formatting.yml b/.github/workflows/check-formatting.yml
@@ -7,7 +7,7 @@ on:
 permissions: write-all
 
 concurrency: 
-  group: formatting-${{ github.head_ref }}
+  group: formatting-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/check-version.yml b/.github/workflows/check-version.yml
@@ -4,7 +4,7 @@ on:
     types: [opened, synchronize, reopened]
 
 concurrency: 
-  group: version-${{ github.head_ref }}
+  group: version-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/linux-build-test-deploy.yml b/.github/workflows/linux-build-test-deploy.yml
@@ -13,7 +13,7 @@ on:
 permissions: write-all
 
 concurrency: 
-  group: deploy-${{ github.head_ref }}-${{ github.event_name }}
+  group: deploy-${{ github.ref }}-${{ github.event_name }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/mac-build-test.yml b/.github/workflows/mac-build-test.yml
@@ -7,7 +7,7 @@ on:
 permissions: write-all
 
 concurrency: 
-  group: mac-${{ github.head_ref }}
+  group: mac-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/sonar.yml b/.github/workflows/sonar.yml
@@ -8,7 +8,7 @@ on:
 permissions: read-all
 
 concurrency: 
-  group: sonar-${{ github.head_ref }}
+  group: sonar-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/win-build-test.yml b/.github/workflows/win-build-test.yml
@@ -7,7 +7,7 @@ on:
 permissions: write-all
 
 concurrency: 
-  group: win-${{ github.head_ref }}
+  group: win-${{ github.ref }}
   cancel-in-progress: true
 
 jobs: