Fix duplicate CI runs#817

schnellerhase wants to merge 3 commits intomainFEniCS/ffcx:mainfrom

schnellerhase/duplicate-ciFEniCS/ffcx:schnellerhase/duplicate-ciCopy head branch name to clipboard