Ryan Yin 94312fc2e5 ci: bound and retry the Gitee mirror push ...

Gitee's SSH gateway intermittently accepts the connection and key, then never
answers the initial git-receive-pack and drops the session ~100s later with
"the remote end hung up upon initial contact". The same failure mode shows up
sporadically since 2026-10-02 and spiked on 2026-10-07 (9 of 14 runs failed).

Bound each push attempt with `timeout`, retry up to six times with exponential
backoff, and add ssh connect/keepalive timeouts. Serialize runs (a push to main
and a tag on the same commit used to race for Gitee's per-repo push lock), cap
the job at 30 minutes, and allow manual workflow_dispatch reruns.

2026-10-07 19:02:46 +08:00

..

flake_evaltests.yml

ci: harden workflows and run the runtime firewall VM test (#398)

2026-10-07 14:57:34 +08:00

mirror_to_gitee.yml

ci: bound and retry the Gitee mirror push

2026-10-07 19:02:46 +08:00