Skip to content
Miri

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

Sign in to view logs

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

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

Run time

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