which build are you referring to as "the 2.12 PR builder"? but yes, it should just be a simple dev/change_scala_version.sh call in the build step.
shane On Tue, Nov 20, 2018 at 7:06 AM Sean Owen <sro...@apache.org> wrote: > Shane, on your long list of TODOs, we still need to update the 2.12 PR > builder to instead test 2.11. Is that just a matter of editing Jenkins > configuration that I can see and change? if so I'll just do it. > > Sean > -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
