Skip to content

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

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

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

Triggered via pull request November 12, 2024 18:53
Status Success
Total duration 41s
Artifacts

miri-check.yml

on: pull_request
Fit to window
Zoom out
Zoom in