about summary refs log tree commit diff
path: root/src/ci/github-actions/ci.py
AgeCommit message (Expand)AuthorLines
2025-02-17Delete the previous Python scriptJakub Beránek-318/+0
2025-01-24ci.py: check the return code in `run-local`Josh Stone-1/+1
2025-01-09CI: fix name of jobsJakub Beránek-1/+1
2025-01-07Apply review commentsJakub Beránek-58/+93
2025-01-07Make it possible to select PR vs auto jobsJakub Beránek-9/+22
2025-01-07Rename `image` property of CI jobs to `name`Jakub Beránek-11/+23
2025-01-07Add a command to run a given Linux CI job locallyJakub Beránek-19/+67
2025-01-07Rename CI script from `calculate-job-matrix` to `ci.py`Jakub Beránek-0/+210