Update CI

gha3mi · Jan 19, 2024 · ba1e06d · ba1e06d
1 parent 39ad236
commit ba1e06d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/CI_benchmark_dot.yml b/.github/workflows/CI_benchmark_dot.yml
@@ -66,4 +66,5 @@ jobs:
         git add benchmarks/dot/results/dot_${{env.FC}}*.html
         git commit -m "Update results ${{env.FC}}"
         git push -u origin results-${{env.FC}} --force-with-lease
-        gh pr create -B main -H results --title "Update results-${{env.FC}}" --body ""
+        default_branch="${{ github.event.repository.default_branch }}"
+        gh pr create -B "$default_branch" -H "results-${{env.FC}}"" --title "Update results-${{env.FC}}" --body "Update results-${{env.FC}}"