bors d6120810e5 Auto merge of #143294 - ChrisDenton:rename-mingw, r=Kobzol ...

Rename `mingw-*` CI jobs to `pr-*`

The name `mingw` confuses people because these CI jobs now do much more than just cross-compile to mingw.

This is basically a find/replace. I chose the name `pr-` because it's job is to do general PR checks,

2025-07-03 07:23:17 +00:00

..

citool

Auto merge of #143294 - ChrisDenton:rename-mingw, r=Kobzol

2025-07-03 07:23:17 +00:00

docker

Auto merge of #143294 - ChrisDenton:rename-mingw, r=Kobzol

2025-07-03 07:23:17 +00:00

github-actions

Auto merge of #143294 - ChrisDenton:rename-mingw, r=Kobzol

2025-07-03 07:23:17 +00:00

scripts

Do not checkout GCC submodule for the tidy job

2025-06-09 08:17:56 +02:00

channel

move the current channel to src/ci/channel

2021-05-06 17:11:12 +02:00

cpu-usage-over-time.py

Migrate to modern datetime API

2025-05-14 08:41:30 -07:00

publish_toolstate.sh

Fix publishing of toolstate history

2024-06-05 16:41:59 +02:00

run.sh

Do not enable LLD by default in the dist profile

2025-07-01 08:19:34 +02:00

shared.sh

CI: split x86_64-mingw job

2024-11-29 16:04:12 +01:00