Skip to content

Fix user-friendly job names so that they are the same as in the manager menu #708

Fix user-friendly job names so that they are the same as in the manager menu

Fix user-friendly job names so that they are the same as in the manager menu #708

Triggered via pull request December 30, 2025 11:15
Status Success
Total duration 13s
Artifacts

clean-cache.yml

on: pull_request_target
cleanup  /  cleanup
9s
cleanup / cleanup
Fit to window
Zoom out
Zoom in