CI: Split build-repro job
This will allow the elements to run in parallel, hopefully speeding things up (but using no fewer resources).
Fixes #1478 (closed)
This will allow the elements to run in parallel, hopefully speeding things up (but using no fewer resources).
Fixes #1478 (closed)