Started 16 hr ago
Took 1 hr 55 min on VM1

Success Build #872 (Aug 13, 2020, 2:20:34 PM)

Normalise use of public headers
https://github.com/souffle-lang/souffle/pull/1575
PR #1575
No changes.

GitHub pull request #1575 of commit 8d08a79f6ccaacb3f1aa850350ff86c0f7a7e98a, no merge conflicts.