Started 8 days 17 hr ago
Took 9 min 15 sec

Aborted Build #5 (May 17, 2019 11:41:13 AM)

Changes
  1. Re-enable plantuml figures in documentation (#153) (detail / githubweb)
  2. Remove the jenkinsfile from the component repositories (#154) (detail / githubweb)

Branch indexing

Revision: cbfc798a8ff06069238f823fab4d8f26b44611fb
  • master
Revision: 2f5aa79b52a44b1c8d7d501822a5cf916105a0c5
  • testutil-openFileFromPlugin
Revision: 9aae275ac99d21c8bd6ab9aab3e55752a71c81b2
  • master
Revision: b86b330489938fa3d25b3dd54fd8317b16d5e46f
  • master
Revision: 3e22c7e2df8e0f95537c7392dfc662bff1ff7f53
  • master

Aborted by user didier.vojtisek@inria.fr