Skip to content
Jenkins
log in
Dashboard
repairnator-ci
Pull Requests (69)
PR-1153
#16
Status
Changes
Console Output
View as plain text
View Build Information
Git Build Data
Pipeline Steps
Previous Build
Next Build
Changes
Summary
Add user.home to opts (
details
)
Commit
71fb12056c526fa71ab108575b122605bc791bcb
by
André Silva
Add user.home to opts
Signed-off-by: André Silva <andre15andre@hotmail.com>
The file was modified
.ci/ci-run-with-core.sh
(diff)
![[Jenkins]](/repairnator/static/9b962a5e/images/svgs/logo.svg){kind=logo}
