Skip to content
CI

[#3] Skip CI if PR title starts with 'WIP' #2017

Sign in to view logs

[#3] Skip CI if PR title starts with 'WIP'

[#3] Skip CI if PR title starts with 'WIP' #2017

Annotations

1 warning

grcov

grcov
succeeded Dec 3, 2024 in 26s