Bo-Yuan-Huang / ILAng
84%
master: 86%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Repo Added
Files 143
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 pre-release
branch: pre-release
CHANGE BRANCH
x

573

Pull #79

travis-ci

web-flow 
Update README for z3 instructions
Pull Request #79: Pre release

7336 of 8723 relevant lines covered (84.1%)

30771.42 hits per line

Relevant lines Covered
8723 RELEVANT LINES 7336 COVERED LINES
30771.42 HITS PER LINE
Source Files on pre-release
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
573 pre-release Update README for z3 instructions Pull #79 web-flow travis-ci pending completion  
572 pre-release Update README for z3 instructions push Bo-Yuan-Huang travis-ci pending completion  
558 pre-release Update README.md push web-flow travis-ci pending completion  
557 pre-release Merge branch 'master' into pre-release push Bo-Yuan-Huang travis-ci pending completion  
556 pre-release Update README.md push web-flow travis-ci pending completion  
554 pre-release Merge branch 'master' into pre-release Pull #76 web-flow travis-ci pending completion  
553 pre-release Merge branch 'master' into pre-release push web-flow travis-ci pending completion  
552 pre-release Update README.md Pull #76 web-flow travis-ci pending completion  
551 pre-release Update README.md push web-flow travis-ci pending completion  
548 pre-release Update README push Bo-Yuan-Huang travis-ci pending completion  
See All Builds (689)