CI: do not export intermediate compilation files in artifacts
There is no need to have a 377MB archive for each pipeline.
This makes a 110 MB archive, which is probably way too big for the potential use we may do with it, but it's still much better.