Skip to content

ci: rename git-clean job id to git-clean (closes #10) - #11

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

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