Started 16 days ago
Took 14 min on VM1

Aborted Build #1908 (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.

Aborted by user anonymous