Started 5 mo 15 days ago
Took 40 min

Success Build #13 (Oct 24, 2019 8:49:01 PM)

Changes
  1. Dockerfile: install z3 (#119) (details / githubweb)

Branch indexing

Revision: d1f192e71d75baf6607658c77383f866bd749fdf
  • master
Packages: 100%   Files: 100%   Classes: 100%   Lines: 89%   Conditionals: 100%  
Revision: 0fc22e29bd576bc313edcc6244380707e8cf3b6f
  • refs/remotes/origin/gh-pages