[#3] Skip CI if PR title starts with 'WIP' #513
Merged
Codecov / codecov/patch
succeeded
Dec 3, 2024 in 0s
Coverage not affected when comparing 9463c6d...5e34bc8
View this Pull Request on Codecov
Coverage not affected when comparing 9463c6d...5e34bc8
Loading