Currently a run of all tests on GitHub need 2 to 3 hours. As @lkdvos once mentioned (#291 (comment)), we need to try coming up with more elementary tests, instead of using full runs of physical examples, to reduce the running time of tests, and catch errors more quickly and precisely.