Skip to content
Miri

[#3] Trigger CI when a PR changes from draft to ready #434

Sign in to view logs

[#3] Trigger CI when a PR changes from draft to ready

[#3] Trigger CI when a PR changes from draft to ready #434

Run time

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