Started 15 days ago
Took 10 min on VM1

Success Build #1096 (Jul 29, 2020, 6:40:57 PM)

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

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

Revision: a4fd4e4a33bcad2466d33e5323b0da854b65c1e9
  • refs/remotes/origin/pr/1549/merge