Started 11 days ago
Took 4 min 24 sec

Failed Build #1617 (Jul 29, 2020 3:40:45 AM)

Changes
  1. Add support for external diff and merge tools in EGit (details)

Triggered by Gerrit: https://git.eclipse.org/r/c/egit/egit/+/140280

Revision: 08be3fd0999e3bb5cc0fab7ab96449a297988ae5
  • refs/changes/80/140280/10