remove unused configs; clean up CI pipeline #1082
Merged
Codecov / codecov/project
succeeded
Nov 13, 2024 in 1s
95.50% (+0.00%) compared to 96cee58
View this Pull Request on Codecov
95.50% (+0.00%) compared to 96cee58
Loading