When ran using a commit from the master branch, the CI script will not run any submission since there is no difference with origin/master. I think we have 2 options:
- Run every submission on the master branch only
- Disable CI on the master branch (might break the badge?)
- On the master branch, run the submissions since the previous commit
What are your thoughts on this?