Cancel in progress PR builds when a new commit is pushed for that PR#322

Merged

phil-opp merged 1 commit intorust-osdev:mainfrom

jasoncouture:in_progress_build_cancellation

Jan 9, 2023

Commits on Jan 9, 2023

Cancel in progress PR builds when a new commit is pushed for that PR
jasoncouture
committed