Skip to content

ci: rename git-clean job id to git-clean (closes #37) - #38

Merged
thedavidmeister merged 1 commit into
mainfrom
2026-08-27-issue-37-git-clean-job-id
Aug 27, 2026
Merged

thedavidmeister merged 1 commit into
mainfrom
2026-08-27-issue-37-git-clean-job-id

ci: rename git-clean job id copy-artifacts -> git-clean

520467b
Select commit
Loading
Failed to load commit list.