Started 6 days 8 hr ago
Took 13 min on VM1

Aborted Build #2041 (Jul 28, 2020, 1:58:35 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.

Aborted by user anonymous