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: SELECT
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  
66 HEAD Merge 620564a2e into 2c2df02cc 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  
64 HEAD Merge 0b8d2f706 into 26d28736f 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  
61 HEAD Merge e8a295360 into 062ed95fa 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  
55 HEAD Merge 3d179708f into c003308f4 push GitHub github-actions pending completion  
See All Builds (20)