Started 14 days ago
Took 29 min on VM1

Success Build #724 (Jul 30, 2020, 10:30:44 AM)

Changes
  1. Nicer TypeEnv initialization (commit: 89ced82) (details / githubweb)
  2. Add procedure for checking type equivalence (commit: 56e9226) (details / githubweb)
  3. Check for type equivalence instead of equality (commit: 19bdc63) (details / githubweb)
  4. Tidy up BinaryConstraint type checks. (commit: 3fd6dde) (details / githubweb)

Started by GitHub push by b-scholz

Revision: 9b4ab887a267d47f6723505c930feff6d289d9a0
  • refs/remotes/origin/master