mbarbin / provider
100%

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

coverage: 100.0%. Remained the same
202

push

github

mbarbin 
Upgrade dunolint workflow

510 of 510 relevant lines covered (100.0%)

8.91 hits per line

Relevant lines Covered
510 RELEVANT LINES 510 COVERED LINES
8.91 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
202 main Upgrade dunolint workflow push mbarbin github
100.0
200 main Remove root dune-workspace file Only the versioned files are used by the CI push mbarbin github
100.0
199 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
100.0
198 main Initiate code owners file for GH push mbarbin github
100.0
197 main Stop using default GHA permissions push mbarbin github
100.0
196 main Enable provider-eio-tests in more CI workflows push mbarbin github
100.0
194 main Disable windows CI It's failing and I don't have plan to investigate nor fix at this time. push mbarbin github
100.0
193 main Make yml script more portable push mbarbin github
100.0
192 main Prepare dune-workspace files for CI workflows push mbarbin github
100.0
191 main Update lower bound for eio tests push mbarbin github
100.0
See All Builds (174)