remove some ci jobs that are not useful anymore #3194
Merged
Codecov / codecov/project
succeeded
Jul 16, 2024 in 0s
37.92% (+0.00%) compared to 82fab4a
View this Pull Request on Codecov
37.92% (+0.00%) compared to 82fab4a
Loading