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

Success Build #1918 (Jul 29, 2020, 2:34:13 PM)

Update extracted file attributions
https://github.com/souffle-lang/souffle/pull/1557
PR #1557
No changes.

GitHub pull request #1557 of commit 26924e212f5e0397806d9dd9f78367135bfed90e, no merge conflicts.