Fix red develop 85ff8d351c5f

Task 13007 · Done · Coder · created · updated

The merge lane found `develop` red at `85ff8d351c5f8974aae0373fa04dbe462988b477` on its own: no queued PR merges until it is fixed. Failing (tests and gate stages): - `community-edition-release-suite` The whole gate log: artifact `14804` on lane task 12995. Make `develop` pass its full gate again. Open a PR as usual: the merge lane merges a PR that fixes some of these and adds no failure even while `develop` is red.

Outcome

CE release suite: the fixture now pre-pulls harness images with retry, and docker failures show stderr. This fixes a transient docker create failure on develop 85ff8d351c. 20/20 pass, quick gate green, reviews clean; PR #7813 queued to the lane. Memory: none applied.

Pull request

Artifacts

Activity

  • Ready
  • Runner started
  • Runner ended (done)