Fix github action (now it should run before merging). - #24

Fix github action (now it should run before merging).#24

meisterT merged 1 commit into

DOMjudge:mainDOMjudge/checktestdata:mainfrom

meisterT:gh_action2meisterT/checktestdata:gh_action2Copy head branch name to clipboard