Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 6 mo ago
Took 4 min 9 sec
Aborted

Build #38 (Nov 30, 2022, 8:29:06 AM)

Changes
  1. [releng] Bump to 0.14.1 (details / githubweb)

Branch indexing

This run spent:

  • 5.8 sec waiting;
  • 4 min 9 sec build duration;
  • 4 min 15 sec total from scheduled to completion.
Revision: 809977d21b9e503c333cf2bde301062756717f9a
Repository: https://github.com/eclipse/org.eclipse.emf.diffmerge.core.git
  • master

Aborted by user Philippe Dul