Started 16 days ago
Took 8 min 17 sec on VM1

Failed Build #1245 (Jul 28, 2020, 12:36:37 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.