lsrcz / mini-prover
58%

DEFAULT BRANCH: master
Repo Added
Files 36
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x

175

push

travis-ci

Shlw 
update report

3010 of 5225 relevant lines covered (57.61%)

0.58 hits per line

Relevant lines Covered
5225 RELEVANT LINES 3010 COVERED LINES
0.58 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
175 master update report push Shlw travis-ci pending completion  
176 master organize files push Shlw travis-ci pending completion  
174 master update report push Shlw travis-ci pending completion  
173 master tactic push lsrcz travis-ci pending completion  
172 master update report push Shlw travis-ci pending completion  
170 master recompile the pdf push lsrcz travis-ci pending completion  
169 master update ignore, upload pdf push Shlw travis-ci pending completion  
168 master update demo report push Shlw travis-ci pending completion  
167 master Merge branch 'master' of github.com:lsrcz/mini-prover push Shlw travis-ci pending completion  
166 master reduction example push lsrcz travis-ci pending completion  
See All Builds (146)