Info updated!

mbarbin / nofunc-keyed
98%

DEFAULT BRANCH: main
Repo Added
Token UHfloWZjRocn8ZpQTDptV4qcu15UA8rYF regen
Build 19 Last
Files 18
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
Sync Branches

coverage: 98.392%. Remained the same
Relevant lines Covered
2239 RELEVANT LINES 2203 COVERED LINES
15.52 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
50 main Run the tests first and instrumented after that Pragmatically when running locally I have observed that this sequence usually ends up resolving the partial coverage report that otherwise gets generated sometimes. That is a an experimental change... push mbarbin github
98.39
49 main Upgrade dune CI to 3.23.1 push mbarbin github
98.39
48 main Enable 5.5 in CI push mbarbin github
98.39
47 main Prepare file for future 5.5 CI (currently unused) push mbarbin github
98.39
46 main Upgrade CIs push mbarbin github
98.39
45 main Apply fmt changes push mbarbin github
98.39
44 main Remove left-over unused var (shellcheck) push mbarbin github
98.39
43 main Upgrade crs-actions push mbarbin github
98.39
42 main Disable comment-crs-in-pr workflow push mbarbin github
98.39
41 upgrade-ci-deps Merge b742db6bc into bea906875 Pull #12 web-flow github
98.39
See All Builds (19)

Badge your Repo: nofunc-keyed

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh