Started 14 days ago
Took 1 hr 1 min on VM1

Success Build #1922 (Jul 30, 2020, 12:16:11 PM)

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

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

Revision: 038d473bf5d10b17d1d681551c6b28a51cd6f4e9
  • refs/remotes/origin/pr/1549/merge