Run compiletest on linux-dev …
The compiletest test is quick to run and shouldn't increase build times very much.