Skip to content

Remove some redundancy in the CI workflow #1116

Remove some redundancy in the CI workflow

Remove some redundancy in the CI workflow #1116