[ci] Cancel in progress CI workflows when pushing a new one

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Other

215 stars 54 forks source link

Closed HadrienRenaud closed 1 month ago

HadrienRenaud commented 1 month ago

Following this, this PR cancels previous workflow on subsequent pushes to the PR.

maranget commented 1 month ago

Merged, thanks @HadrienRenaud.