Otherwise those CI jobs take too much time compared to the core-only ones. The GitHub Actions CI here is only supposed to be a smoke test.