Started 3 yr 2 mo ago
Took 15 sec on master

Success Build #242 (Apr 10, 2017 3:54:27 PM)

Changes
  1. Interface cleanup for sets. (commit: 60b69d1) (details / githubweb)
  2. -  Interface cleanup for maps in runtime library. -  Addresses #87. (commit: 8b98bb1) (details / githubweb)
  3. -  Interface cleanup for products in runtime library. -  Addresses #87. (commit: de43384) (details / githubweb)

Started by GitHub push by bandurvp

Revision: de433840565b76f4134ea2518403d102e062918a
  • refs/remotes/origin/development