nit nit

archesproject · Apr 3, 2024 · 3029710 · 3029710
1 parent 1b0e175
commit 3029710
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -116,5 +116,5 @@ jobs:
 
             git commit -m "automatically update .coverage and coverage.json"
 
-            git push -f origin HEAD:${{ github.event.pull_request.head.ref }}
+            git push -f origin HEAD:${GITHUB_REF#refs/pull/}/${{ github.event.pull_request.head.ref#refs/heads/ }}
           fi