racket-tw / k
91%

DEFAULT BRANCH: develop
Repo Added
Files 26
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 develop
branch: develop
CHANGE BRANCH
x

#19

push

cover

dannypsnl 
try different key

I'm not sure if this is the problem, let's see

552 of 608 relevant lines covered (90.79%)

0.91 hits per line

Relevant lines Covered
608 RELEVANT LINES 552 COVERED LINES
0.91 HITS PER LINE
Source Files on develop
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#19 develop try different key I'm not sure if this is the problem, let's see push dannypsnl cover pending completion  
#18 develop wrong file name... push dannypsnl cover pending completion  
#17 develop test proofs: symmetry, transitivity MISC: rename `equality` push dannypsnl cover pending completion  
#16 develop provides `Pi` type for data type clause definition related #33 push dannypsnl cover pending completion  
#15 develop lib(evidence is now builtin) push dannypsnl cover pending completion  
#14 develop lib(true to true has two ways) push dannypsnl cover pending completion  
#13 develop lib(fix decidable `not`) push dannypsnl cover pending completion  
#12 develop lib(decidable) push dannypsnl cover pending completion  
#11 develop lib(evidence ⊤ and ⊥) push dannypsnl cover pending completion  
#10 develop doc(dep to core/lib) push dannypsnl cover pending completion  
See All Builds (19)