Started 6 days 7 hr ago
Took 35 sec on VM1

Aborted Build #2044 (Jul 28, 2020, 2:49:05 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 f05cddb31cb6f31010b9350fc0a3e7fb9ffa3b81, no merge conflicts.

Aborted by user anonymous