> > > Maintaining a separate PR builder for 2.11 isn't so bad >
i actually beg to differ... it's more of a PITA than you might realize managing more than one PRB (we have two already). a much better solution would be for the test launching code either in the PRB config, or scripts in the repo manage this. -- Shane Knapp UC Berkeley EECS Research / RISELab Staff Technical Lead https://rise.cs.berkeley.edu
