Skip to content

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

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

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

Triggered via pull request December 4, 2024 13:50
Status Skipped
Total duration 2s
Artifacts

miri-check.yml

on: pull_request
Fit to window
Zoom out
Zoom in