Started 4 yr 6 mo ago
Took 42 sec

Success Build #788 (Nov 20, 2019 2:46:03 PM)

Started by GitLab push by Jesus de Gregorio
Changes
  1. Update after CT3#107 meeting (detail)
Changes
  1. Update after CT3#107 meeting (detail)

Started by GitLab push by Jesus de Gregorio

Revision: b7623308957bc2a637cde75ae053bb32b4fc36d5
  • origin/master
Revision: 8482ff4254aa309f44acf50fa66becbc0d870a50
  • origin/Rel15-draft-CT86