Started 3 yr 10 mo ago
Took 27 sec on master

Success Build #261 (Apr 26, 2017 10:33:08 AM)

  1. Support map overrides, the '++' operator (no GC) (commit: e44dc8e) (details / githubweb)
  2. Support distributed map merge, the 'merge' operator (no GC) (commit: 93ab0dd) (details / githubweb)
  3. Support distributed map-domain-restrict-to operator (no GC) (commit: 300ec96) (details / githubweb)
  4. Support map-domain-restrict-by operator (no GC) (commit: d879f15) (details / githubweb)
  5. Change argument order for map-range operators (commit: 8fe1a6f) (details / githubweb)
  6. Support map-range-restrict-to operator (no GC) (commit: b0a7714) (details / githubweb)
  7. Support map-range-restrict-by operator (no GC) (commit: 895669a) (details / githubweb)
  8. Remove TODO that does not really apply anymore (commit: b368492) (details / githubweb)
  9. Add GC support for map override (commit: 54d491f) (details / githubweb)
  10. Add GC support for distributed merge (commit: 225c399) (details / githubweb)
  11. Add GC support for map-dom-restrict-to (commit: 5490580) (details / githubweb)
  12. Add GC support for map-dom-resrict-by (commit: ca432ec) (details / githubweb)
  13. Add GC support for map-range-restrict-to (commit: db77314) (details / githubweb)
  14. Add GC support for map-restrict-range-by (commit: 496a755) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 5245cd3e3eebff31acc5b7b31e0e4673936869b7
  • refs/remotes/origin/development