WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content
Clean up PR caches

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

Sign in to view logs

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
@pajawojciechpajawojciech
closed #1524
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