Started 16 days ago
Took 3 min 1 sec on VM1

Aborted Build #2043 (Jul 28, 2020, 2:35:53 PM)

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

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

Revision: 2d237ebe2155853afeac32d6b770b5ca154ecd79
  • refs/remotes/origin/pr/1554/merge

Aborted by user anonymous