johnyob / dromedary
73%

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

41

push

circleci

GitHub 
Merge pull request #48 from johnyob/dromedary/v2/reset-type-ids-on-solve

2194 of 3018 relevant lines covered (72.7%)

3438.23 hits per line

Relevant lines Covered
3018 RELEVANT LINES 2194 COVERED LINES
3438.23 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
41 main Merge pull request #48 from johnyob/dromedary/v2/reset-type-ids-on-solve push GitHub circleci pending completion  
39 main Merge pull request #46 from johnyob/dromedary/v2/split-constraints-library push GitHub circleci pending completion  
36 main Merge pull request #45 from johnyob/dromedary/v2/refactor-project-structure push GitHub circleci pending completion  
34 main Add dissertation to repository push johnyob circleci pending completion  
33 main Improve cloc counts -- performs second count (for comment loc count) push johnyob circleci pending completion  
32 main Add script for line count push johnyob circleci pending completion  
31 main Add additional benchmarks for poly variants push johnyob circleci pending completion  
30 main Revert "Merge pull request #31 from johnyob/revert-30-dromedary/extensible-variants" push johnyob circleci pending completion  
28 main Merge pull request #31 from johnyob/revert-30-dromedary/extensible-variants push GitHub circleci pending completion  
25 main Merge pull request #30 from johnyob/dromedary/extensible-variants push GitHub circleci pending completion  
See All Builds (21)