Skip to content

Remove some redundancy in the CI workflow #1141

Remove some redundancy in the CI workflow

Remove some redundancy in the CI workflow #1141