Started 7 days 2 hr ago
Took 10 min on VM1

Success Build #1081 (Jul 27, 2020, 7:41:44 PM)

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

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

Revision: 589c941ab4ee35cd26ce7588f8678c0bf24ef2c0
  • refs/remotes/origin/pr/1549/merge