Started 6 days 5 hr ago
Took 32 min on VM1

Failed Build #1913 (Jul 28, 2020, 3:55:41 PM)

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

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

Revision: 075989dede8f86679b76cd448ea476f8b582bc97
  • refs/remotes/origin/pr/1549/merge