mAarnos / Serkr
97%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Repo Added
Files 47
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 code-cleanup
branch: code-cleanup
CHANGE BRANCH
x

65

push

travis-ci

mAarnos 
Updated the LALRPOP version to use.

2633 of 2728 relevant lines covered (96.52%)

5.1 hits per line

Relevant lines Covered
2728 RELEVANT LINES 2633 COVERED LINES
5.1 HITS PER LINE
Source Files on code-cleanup
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
65 code-cleanup Updated the LALRPOP version to use. push mAarnos travis-ci pending completion  
64 code-cleanup Added some tests for the parser and macros. push mAarnos travis-ci pending completion  
63 code-cleanup Normal rustfmt run. push mAarnos travis-ci pending completion  
62 code-cleanup Split ProofAttemptResult to a different file. push mAarnos travis-ci pending completion  
61 code-cleanup Updated clippy and dealt with the warnings. push mAarnos travis-ci pending completion  
See All Builds (56)