Skip to content

ci: allow command explicit#115

Merged
drgroot merged 1 commit intomainfrom
drgroot-patch-1
Jul 31, 2025
Merged

ci: allow command explicit#115
drgroot merged 1 commit intomainfrom
drgroot-patch-1

Commits

Commits on Jul 31, 2025