Skip to content
Miri

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

Sign in to view logs

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

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

Miri

Miri
succeeded Nov 12, 2024 in 32s