Add develop branch to CI workflow triggers#1

ambvdijk merged 1 commit intomainMathMax80/MathMax.Administration:mainfrom

hotfix/run-checks-on-devMathMax80/MathMax.Administration:hotfix/run-checks-on-devCopy head branch name to clipboard