Started 6 days 9 hr ago
Took 32 min on VM1

Failed Build #2039 (Jul 28, 2020, 12:21:01 PM)

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

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

Revision: 4824df520d630a199e48991873fd3392bb0cd635
  • refs/remotes/origin/pr/1549/merge