build: add a retry on git push
in merge-pr.sh
#1618
benchmarks.yml
on: push
web benchmarks with bencher
2m 37s
Matrix: rust benchmarks with bencher
Annotations
7 warnings