Mehdi Chinoune f310e25019 [GHA] Cancel previous workflows in the same branch/pull-request ...

${{ github.ref }} equal to 'refs/heads/branch' if the event is "push" and It is equal to 'refs/pull/#pr/megre' for a pull-request.

2021-08-31 09:02:07 +01:00

..

workflows

[GHA] Cancel previous workflows in the same branch/pull-request

2021-08-31 09:02:07 +01:00