Started 15 days ago
Took 1 hr 1 min on VM1

Success Build #1921 (Jul 30, 2020, 4:45:43 AM)

Type system fix
https://github.com/souffle-lang/souffle/pull/1558
PR #1558
No changes.

GitHub pull request #1558 of commit 3fd6ddefc6743c80296b09227675ed117350b899, no merge conflicts.