Started 12 days ago
Took 1 hr 4 min on VM1

Success Build #1930 (Aug 1, 2020, 10:09:15 PM)

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

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

Revision: 1f6e78f39a384f3060bab9662c4739c660488c2a
  • refs/remotes/origin/pr/1549/merge