Started 2 yr 2 mo ago
Took 7.1 sec on master

Failed Build #278 (Feb 22, 2020, 12:19:47 PM)

Changes
  1. Minor code stlye and issues fixed (commit: c602fd5) (details / githubweb)
  2. fixed issue with importsof DPR axioms (commit: 1aeaa6c) (details / githubweb)

Started by GitHub push by LorenzBuehmann (3 times)

Revision: 1aeaa6c7b4a78184f527a28ecf5f7d1f8d1ca0b7
  • refs/remotes/origin/develop