Main
Main copied to clipboard
Move CI to use Jenkins
@ravivos , @oriROTH , FYI
why is it better in your opinion?
Because it automatically opens an issue when someone breaks a test
This is the Github issues plugin. Maybe there are some other plugins we might like... I think we should put this on hold, because we're waiting for #1309 (we need one repository + gradle task to run tests in all sub-projects @RoeiRaz). In the meanwhile I'll talk with Tom to get us a server (or use ssdl-mit.cs.technion.ac.il? maybe).
@AdiOmari @ravivos