Started 2 mo 17 days ago
Took 1 hr 7 min

Success Build #61 (Jul 29, 2019 8:30:34 AM)

Changes
  1. update changelog (detail / githubweb)
Changes
  1. update changelog (detail / githubweb)
Changes
  1. update changelog (detail / githubweb)
Changes
  1. update changelog (detail / githubweb)
Changes
  1. update changelog (detail / githubweb)

Started by user didier.vojtisek@inria.fr

Revision: d9e58bd50e715216acf820bea757b5ebf97a3075
  • master
Revision: 111089c749aaa2d15e153f745b507be4a267700f
  • master
Revision: e060a956ce9c9e617a8ca597e1e30335ce31bcb1
  • master
Revision: 4efe0b38e06fb28435bda097e28538c8b9361e39
  • master
Revision: 97ce168edc48e23e381322be5791fcfc46a2f3a9
  • master
Test Result (no failures)