-
Tomas Krizek authored
Since these tests are very quick, it's not worth it to have a separate job for them, it only wastes CI resources.
Since these tests are very quick, it's not worth it to have a separate job for them, it only wastes CI resources.