Skip to content

ci: small fix to PR action#34

Merged
serramatutu merged 1 commit intomainfrom serramatutu/fix-ciJul 9, 2024

Commits

Commits on Jul 9, 2024