Started 16 days ago
Took 10 min on VM1

Success Build #1085 (Jul 28, 2020, 1:57:56 PM)

File Restructuring
https://github.com/souffle-lang/souffle/pull/1554
PR #1554
No changes.

GitHub pull request #1554 of commit 34065868ba1665b5da3c25336f646e4c573fbe84, no merge conflicts.