But I think it would be more sensible to have them released at the
same time, with the same build script: I'm all for automating it.

Are there strong reasons to keep the release times (and process) independent?