build: add a retry on git push
in merge-pr.sh
#1619
benchmarks.yml
on: pull_request
web benchmarks with bencher
3m 9s
Matrix: rust benchmarks with bencher
Annotations
7 warnings