Started 16 days ago
Took 10 min on VM1

Aborted Build #2057 (Jul 28, 2020, 2:38:55 PM)

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

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

Revision: 44917898fec965d659f899da81f748c8300a8638
  • refs/remotes/origin/pr/1549/merge

Aborted by user anonymous