Started 15 days ago
Took 1 min 55 sec on VM1

Failed Build #2048 (Jul 29, 2020, 11:03:46 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.