Build #87:   fix typo in push_doc.sh on branch master over 4 years ago

Build #41:   re-enable coverage (#10) on branch master over 4 years ago

Build #66:   Fix bpmf prediction (based on PR #24) (#25) on branch master over 7 years ago