Skip to content

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

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

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

Annotations

11 warnings

rust

succeeded Jan 22, 2025 in 34s