Started 16 days ago
Took 34 min on VM1

Success Build #2045 (Jul 28, 2020, 2:49:41 PM)

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

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

Revision: 6565c988ba8cc8cb5406d8c602254c99f1684777
  • refs/remotes/origin/pr/1554/merge