Started 6 days 8 hr ago
Took 23 min on VM1

Aborted Build #2055 (Jul 28, 2020, 2:12:13 PM)

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

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

Revision: 9285d1a0ed461abebfbf39f8b42a678a2da24f02
  • refs/remotes/origin/pr/1549/merge

Aborted by user anonymous