Build #2925 (Jun 26, 2025, 5:51:56 PM)

1. check-typo: be more liberal with url (commit: 5963db9) (details / githubweb)
2. Merge pull request #13749 from tmcgilchrist/patch-1 (commit: 9eed0b1) (details / githubweb)
3. Unified CI cherry-pick: PR#13724 (commit: 7ad0a4a) (details / githubweb)
4. Merge pull request #13840 from dra27/apt-update (commit: 509e416) (details / githubweb)
5. Merge pull request #13857 from MisterDA/gha-cygwin-make (commit: 7aa888c) (details / githubweb)
6. Merge pull request #13954 from dra27/cygwin (commit: 464de25) (details / githubweb)
7. Fix hygiene check for generating `configure` (#13935) (commit: d34ee86) (details / githubweb)
8. Merge pull request #14013 from dra27/more-ci-tweaks (commit: 8899c05) (details / githubweb)

Started by GitHub push by dra27

• origin/4.14