Repo Added
|
Files
143
|
Badge
Embed ▾
README BADGES
|
travis-ci
7336 of 8723 relevant lines covered (84.1%)
30771.42 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
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 |