5 commits

Author	SHA1	Message	Date
Jakub Beránek	5a95dda44a	Apply review comments	2025-01-07 19:10:03 +01:00
Jakub Beránek	0fc2f14c0c	Make it possible to select PR vs auto jobs	2025-01-07 18:15:13 +01:00
Jakub Beránek	e62d1e46bb	Rename image property of CI jobs to name ... The `image` part didn't really make sense, especially since we started splitting CI jobs.	2025-01-07 18:15:13 +01:00
Jakub Beránek	0cc11f8c48	Add a command to run a given Linux CI job locally	2025-01-07 18:15:13 +01:00
Jakub Beránek	8ecd033654	Rename CI script from calculate-job-matrix to ci.py	2025-01-07 18:15:13 +01:00

Renamed from src/ci/github-actions/calculate-job-matrix.py (Browse further)