search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

CI: auto cancel workflow runs on new push to PR branch #394

Open MSoegtropIMC opened 10 months ago

MSoegtropIMC commented 10 months ago

It would be convenient to auto cancel CU runs if additional pushes are done to a PR run.

See here for hints on how to implement this:

https://www.meziantou.net/how-to-cancel-github-workflows-when-pushing-new-commits-on-a-branch.htm