Skip to content

Remove some redundancy in the CI workflow#236

Merged
stepchowfun merged 1 commit intomainfrom ci-testsJul 2, 2024