Skip to content

Remove some redundancy in the CI workflow #741

Remove some redundancy in the CI workflow

Remove some redundancy in the CI workflow #741