[PATCH v4 1/3] ci: Build crosstests in a dedicated CI job.