Started 16 days ago
Took 9 min 57 sec on VM1

Success Build #1090 (Jul 29, 2020, 2:20:40 AM)

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

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

Revision: 5e1ee1fa69615f5a189d02992530c63a736075b0
  • refs/remotes/origin/pr/1549/merge