Started 1 day 11 hr ago
Took 36 min on VM1

Success Build #657 (Aug 12, 2020, 7:48:18 PM)

Changes
  1. fixed silly issue with index calculation in synthesiser for type info (commit: 1c74ea7) (details / githubweb)

Started by GitHub push by mmcgr

Started by GitHub push by souffle-lang-bot

Revision: c10eb2b39511c08b13381a822600add662454b5a
  • refs/remotes/origin/master