Re-enable release builds on Jenkins CI #382
Labels
category: CI
Continuous Integration
effort: 2
A few hours of work.
priority: medium
This should be done sooner or later.
Milestone
I think with ccache etc. the cost of this would not be terribly high (but of course double of what we have right now). It would be good to check release builds as well...
The text was updated successfully, but these errors were encountered: