Skip to content

chore: shorten workflow names#12

Merged
MantisClone merged 1 commit intomainfrom
shorten-workflow-names
Mar 22, 2025
Merged

chore: shorten workflow names#12
MantisClone merged 1 commit intomainfrom
shorten-workflow-names

Commits

Commits on Mar 22, 2025