Closed lrytz closed 7 years ago
Something along those lines..
Pushed a bootstrap script to replace scala-release-temp
with scala-integration
, also when building commits with the current 2.12.x bootstrap script. Merging this requires coordination with:
@adriaanm could you take a look at this PR and the linked ones against the other repos and let me know if the procedure looks ok?
Allow jenkins jobs to use a script in the scala-jenkins-infra repo instead of the repo being cloned.