[ci] Update CI workflow to include main/master branch and check label 'pr: run ci' in PR#30

th-skam merged 3 commits into

mainInfinyTech3D/SofaHaplyRobotics:mainfrom

epernod-patch-ciInfinyTech3D/SofaHaplyRobotics:epernod-patch-ciCopy head branch name to clipboard