Started 5 days 10 hr ago
Took 1 min 51 sec on VM1

Failed Build #1252 (Jul 29, 2020, 11:05:42 AM)

Indexed Inequalities in Souffle
https://github.com/souffle-lang/souffle/pull/1549
PR #1549
No changes.

GitHub pull request #1549 of commit f462fc87a61f01a87fc318333d6eb2f889b7931e, no merge conflicts.

Revision: d3be7590863cb7c3fc1ce2165e9edb396d84affe
  • refs/remotes/origin/pr/1549/merge