ci: avoid duplicate verify runs for PR commits#1174

joaodinissf merged 1 commit into

dsldevkit:masterdsldevkit/dsl-devkit:masterfrom

joaodinissf:duplicate-verifyjoaodinissf/dsl-devkit:duplicate-verifyCopy head branch name to clipboard