Started 13 days ago
Took 23 min on VM1

Success Build #1261 (Jul 31, 2020, 3:51:34 PM)

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

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

Revision: 18340eba78109dc9b1be251c01d6dc268c09a685
  • refs/remotes/origin/pr/1549/merge