jyn 423e76f1dd Improve job names in Github Actions preview ... Before: `CI / PR (mingw-check, false, ubuntu-20.04-16core-64gb) (pull_request)` After: `CI / PR - mingw-check (pull_request)`		2023-04-02 17:58:08 -04:00
..
ci.yml	Improve job names in Github Actions preview	2023-04-02 17:58:08 -04:00
problem_matchers.json	use problem matchers for tidy CI	2023-03-06 07:13:48 +00:00