mbarbin / cubzzle
84%
master: 71%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Repo Added
Files 19
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

coverage: 84.286%. Remained the same
189

push

github

mbarbin 
Improve default settings for GHA permissions

295 of 350 relevant lines covered (84.29%)

2037311.08 hits per line

Relevant lines Covered
350 RELEVANT LINES 295 COVERED LINES
2037311.08 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
189 main Improve default settings for GHA permissions push mbarbin github
84.29
188 main Upgrade setup-dune to v2.0.0+only-packages push mbarbin github
84.29
187 main Remove previous dune.yml experiment - Subsumed by dune-pkg-more-ci push mbarbin github
84.29
186 main Merge pull request #26 from mbarbin/dune-pkg-more-ci Add experimental CI workflows based on setup-dune push web-flow github
84.29
185 dune-pkg-more-ci Merge 067799233 into 84a284c79 Pull #26 web-flow github
84.29
184 main Prepare dune-workspace files for CI workflows push mbarbin github
84.29
183 main Use --only-packages instead of -p in more-ci targets push mbarbin github
84.29
182 main Merge pull request #25 from mbarbin/use-portable-opam-update Switch system package manager update to opam cmd push web-flow github
84.29
181 use-portable-opam-update Merge 8c33f08eb into 9159c3d2c Pull #25 web-flow github
84.29
179 main Merge pull request #24 from mbarbin/attempt-fixing-depext-ci Attempt to update package index in ci recipe push web-flow github
84.29
See All Builds (140)