Started 57 min ago
Build has been executing for 57 min on VM1

Progress:
In progress Build #874 (Aug 14, 2020, 5:50:34 AM)

Algebraic Data Types
https://github.com/souffle-lang/souffle/pull/1581
PR #1581
No changes.

GitHub pull request #1581 of commit 90a4bd1547683756e2e4c773bb276bbe79bf41cb, no merge conflicts.

Revision: 4fca6d89154f38a37cb4da774d996252cf9307f8
  • refs/remotes/origin/pr/1581/merge
Revision: 62989674f16f6bdbfb5640b5dcd10541395904d2
  • refs/remotes/origin/pr/1581/merge