Started 4 days 7 hr ago
Took 31 min on VM1

Success Build #2056 (Jul 30, 2020, 2:05:31 PM)

Protect threaded access to record map
https://github.com/souffle-lang/souffle/pull/1559
PR #1559
No changes.

GitHub pull request #1559 of commit 8b024882cea164a3e3769880ebac6f11e1f754cf, no merge conflicts.