17451k / eventb-to-txt
98%

DEFAULT BRANCH: master
Repo Added
Files 6
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: SELECT
CHANGE BRANCH
x

51

push

travis-ci

17451k 
Save output with LF line endings

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
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
51 master Save output with LF line endings push 17451k travis-ci pending completion  
50 v1.3.2 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  
See All Builds (40)