Update CI_benchmark_dot

gha3mi · Jan 19, 2024 · 1667e4a · 1667e4a
1 parent 5d452b1
commit 1667e4a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/CI_benchmark_dot.yml b/.github/workflows/CI_benchmark_dot.yml
@@ -64,4 +64,6 @@ 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
+        git branch -D results-${{env.FC}}
+        git push origin --delete results-${{env.FC}}
         # gh pr create -B main -H results --title "Update results-${{env.FC}}" --body ""