Started 15 days ago
Took 31 min on VM1

Failed Build #2049 (Jul 29, 2020, 12:12:09 PM)

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

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