Closed andre15silva closed 3 years ago
When https://github.com/Spirals-Team/jtravis/pull/27 is merged, we need to bump its version in repairnator-core so as to fix the issue identified in it.
repairnator-core
Until this is fixed, I have a working workaround in https://github.com/andre15silva/repairnator/tree/tmp-fix-jenkins-repo
When https://github.com/Spirals-Team/jtravis/pull/27 is merged, we need to bump its version in
repairnator-core
so as to fix the issue identified in it.