Started 6 days 8 hr ago
Took 9 min 55 sec on VM1

Failed Build #1907 (Jul 28, 2020, 1:03:22 PM)

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

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