coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
33 stars 12 forks source link

wish: generate `cancel-in-progress` directive #269

Open gares opened 1 month ago

gares commented 1 month ago

Since these CI are very long, I suggest adding (at least optionally) a cancel-in-progress directive: https://docs.github.com/en/enterprise-cloud@latest/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs#example-using-concurrency-and-the-default-behavior