Started 17 days ago
Took 32 min on VM1

Success Build #2035 (Jul 27, 2020, 4:08:22 PM)

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

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

Revision: 2bcd73531977f1f7a8e57b402add55ba017f82a0
  • refs/remotes/origin/pr/1549/merge