Aravinda Samarathunga 214e8665a3 [GITHUB] Add mingw-w64 fallback plus a RosBE build check to CI (#9603) ...

SourceForge randomly fails to serve mingw-w64-v6.0.0.tar.bz2, or just
returns a mirror page instead of the archive, while wget still
succeeds. So RosBE build aborts, and build_rosbe_ci.sh
does not forward the error, so the "Compile RosBE" step falsely passes
and the job fails later with confusing errors.

- Add a SourceForge fallback (alongside the existing fallback for
  "GNU file server" in build.yml).
  The downloaded archive is then also checked.
- Add a check to ensure that RosBE-CI/RosBE.sh exists after
  build_rosbe_ci.sh runs.

ONLINE-911

2026-10-08 13:42:34 +03:00

..

build.yml

[GITHUB] Add mingw-w64 fallback plus a RosBE build check to CI (#9603)

2026-10-08 13:42:34 +03:00

labeler.yml

…

problem-matcher.json

…

stale.yml

…