search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
171 stars 29 forks source link

[TEMPLATE]: Manage workflow concurrency #48

Closed pitmonticone closed 1 month ago

pitmonticone commented 1 month ago

Cancel previous runs if a new commit is pushed to the same PR or branch.

Upstreamed from the EquationalTheories project.