Started 5 days 8 hr ago
Took 1 hr 4 min on VM1

Success Build #1917 (Jul 29, 2020, 1:47:10 PM)

Update changelog
https://github.com/souffle-lang/souffle/pull/1556
PR #1556
No changes.

GitHub pull request #1556 of commit e5f10fb1a043caebe9b5e4cf30619ec2eb7a66d3, no merge conflicts.