Testsuite and CI: Should we test devel2 on CI
It seems people run the testsuite quite often using a devel2
compiler.
Through various differences between the devel2
flavours and what we usually test on CI this results in failed tests locally which pass on CI. Resulting in tickets/lost time and so on.
This is not a good state to be in. So we will likely need to expand our CI coverage in some way to prevent this going forward.