Started 16 days ago
Took 1.1 sec on VM1

Aborted Build #1909 (Jul 28, 2020, 2:35:52 PM)

Indexed Inequalities in Souffle
https://github.com/souffle-lang/souffle/pull/1549
PR #1549
Failed to determine (log)

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

Aborted by user anonymous