17451k
/
eventb-to-txt
98%
|
Repo Added
|
Files
6
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH master
push
travis-ci
7 of 7 new or added lines in 3 files covered. (100.0%)
497 of 505 relevant lines covered (98.42%)
3.94 hits per line
Relevant lines Covered
505
RELEVANT LINES
497
COVERED LINES
3.94
HITS PER LINE
Source Files on master
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 51 | master | Save output with LF line endings | push |  17451k |
travis-ci | pending completion | |
| 49 | master | Add Deploy GitHub action | push |  web-flow |
travis-ci | pending completion | |
| 48 | master | Add GitHub Actions status to README | push | web-flow |
travis-ci | pending completion | |
| 47 | master | Rename GitHub workflow | push | web-flow |
travis-ci | pending completion | |
| 46 | master | Fix test_main_invalid_out() on Windows | push | 17451k |
travis-ci | pending completion | |
| 45 | master | Fix test_main_invalid_out() on Windows | push | 17451k |
travis-ci | pending completion | |
| 44 | master | Fix compatibility with Windows | push | 17451k |
travis-ci | pending completion | |
| 43 | master | Setup GitHub Actions | push | web-flow |
travis-ci | pending completion | |
| 42 | master | Trim trailing whitespaces | push | 17451k |
travis-ci | pending completion | |
| 41 | master | Update cached build dependencies if possible | push | 17451k |
travis-ci | pending completion |