Merge pull request #129 from jwillemsen/jwi-cancelprevious
commit7d5b465c5009b7efc82266aeb5426261350888ed
authorJohnny Willemsen <jwillemsen@remedy.nl>
Mon, 15 Mar 2021 14:29:53 +0000 (15 15:29 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Mar 2021 14:29:53 +0000 (15 15:29 +0100)
tree1698f6b693af3472dc4c2cbc7253aa63dfc40ba4
parent9e2b3cf216faf383a9865d5f4f30949bfe351360
parentd468978f01c0ec594af75a66a8508adc50ed4dcf
Merge pull request #129 from jwillemsen/jwi-cancelprevious

Add github action to cancel unnecessary previous run