user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/ci/github-actions
History
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
..
ci.py Rename image property of CI jobs to name 2025-01-07 18:15:13 +01:00
jobs.yml Rename image property of CI jobs to name 2025-01-07 18:15:13 +01:00
problem_matchers.json Add gha problem matcher 2023-06-19 15:34:31 +00:00