Started 14 days ago
Took 26 min on VM1

Success Build #2069 (Jul 30, 2020, 1:54:51 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.