Skip to content

chore: github workflow: cancel prior running jobs on new push - #1736

Merged
nejch merged 1 commit into
mainfrom
jlvillal/workflow
Dec 8, 2021
Merged

chore: github workflow: cancel prior running jobs on new push#1736
nejch merged 1 commit into
mainfrom
jlvillal/workflow

chore: github workflow: cancel prior running jobs on new push

fd81569
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs