Repo Added
|
Files
7
|
Badge
Embed ▾
README BADGES
|
push
circleci
91 of 95 relevant lines covered (95.79%)
0.96 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
#11 | master | Merge pull request #4 from snmsts/response-headers | push | web-flow | circleci | pending completion | |
#10 | master | Fix test for make-gist and make-gists | push | Rudolph-Miller | circleci | pending completion | |
#9 | master | Add truncated to gist close #3 | push | Rudolph-Miller | circleci | pending completion | |
#8 | master | Merge pull request #2 from snmsts/uiop | push | Rudolph-Miller | circleci | pending completion | |
#7 | master | use the lastest version of common-html. | push | Rudolph-Miller | circleci | pending completion | |
#6 | master | use sbcl-bin., | push | Rudolph-Miller | circleci | pending completion | |
#5 | master | use sbcl-bin., | push | Rudolph-Miller | circleci | pending completion | |
#4 | master | change run-annot-prove option. | push | Rudolph-Miller | circleci | pending completion | |
#3 | master | change run-annot-prove option. | push | Rudolph-Miller | circleci | pending completion | |
#2 | master | --with-prove. | push | Rudolph-Miller | circleci | pending completion |