github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
ecf5535be3b07865f94df93e2bc0f03e4b5d577e
powdr/.github
History
Leandro Pacheco 19503e1cbb cancel old workflows for the same branch (#1740) 
when a new commit to branch triggers a build and tests, cancel any
currently running (now obsolete) workflows for the same branch
2024-08-31 11:51:10 +00:00
..
workflows
cancel old workflows for the same branch (#1740)
2024-08-31 11:51:10 +00:00