Skip to content

build: add a retry on git push in merge-pr.sh #1619

build: add a retry on git push in merge-pr.sh

build: add a retry on git push in merge-pr.sh #1619

Annotations

1 warning

rust benchmarks with bencher (commit)

succeeded Jan 22, 2025 in 12m 32s