allow manually dispatching ci workflow #622
Merged
Codecov / codecov/project
succeeded
Aug 12, 2023 in 1s
83.19% (+0.00%) compared to 1c7c060
View this Pull Request on Codecov
83.19% (+0.00%) compared to 1c7c060
Loading