lsrcz / pizza
59%

DEFAULT BRANCH: main
Repo Added
Files 60
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

67

push

github-actions

GitHub 
:twisted_rightwards_arrows: merge pull request #5 from lsrcz/feat-model-construction

2464 of 4145 relevant lines covered (59.45%)

0.59 hits per line

Relevant lines Covered
4145 RELEVANT LINES 2464 COVERED LINES
0.59 HITS PER LINE
Source Files on main
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
67 main :twisted_rightwards_arrows: merge pull request #5 from lsrcz/feat-model-construction push GitHub github-actions pending completion  
65 main :twisted_rightwards_arrows: merge pull request #4 from lsrcz/feat-typed-symbol push GitHub github-actions pending completion  
62 main :twisted_rightwards_arrows: merge pull request #3 from lsrcz/refactor-modelops push GitHub github-actions pending completion  
60 main :arrow_up: Updated cabal push Sirui Lu github-actions pending completion  
59 main :truck: Rename back to grisette push Sirui Lu github-actions pending completion  
56 main Merge pull request #2 from lsrcz/feat-model-ops push GitHub github-actions pending completion  
52 main :bug: Made list specs accept Int as the length spec push Sirui Lu github-actions pending completion  
51 main :recycle: Standardized the choose* APIs push Sirui Lu github-actions pending completion  
50 main :sparkles: Added some instances for GenSymIdent push Sirui Lu github-actions pending completion  
49 main :sparkles: Added some instances for GenSymIdent push Sirui Lu github-actions pending completion  
See All Builds (20)