Skip to content
Miri

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Miri
27s
27s