mbarbin / cmdlang
100%

DEFAULT BRANCH: main
Repo Added
Files 42
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: 100.0%. Remained the same
195

push

github

mbarbin 
Enable crs workflow

1322 of 1322 relevant lines covered (100.0%)

133.33 hits per line

Relevant lines Covered
1322 RELEVANT LINES 1322 COVERED LINES
133.33 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
195 main Enable crs workflow push mbarbin github
100.0
194 main Remove root dune-workspace file Only the versioned files are used by the CI push mbarbin github
100.0
193 dependabot/github_actions/actions/checkout-6.0.2 Merge f54b9b12c into cd9ee395a Pull #48 web-flow github
100.0
192 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
100.0
191 main Move transition note in action script push mbarbin github
100.0
190 main Initiate code owners file for GH push mbarbin github
100.0
189 main Transition some workflows from more-ci to setup-dune push mbarbin github
100.0
188 main Merge pull request #47 from mbarbin/upgrade-setup-dune-3.21 Upgrade setup-dune and pin dune version used to a stable release push web-flow github
100.0
187 upgrade-setup-dune-3.21 Merge 195da360e into c65b8e480 Pull #47 web-flow github
100.0
186 main Update setup-dune sha (fix macos build path issue) push mbarbin github
100.0
See All Builds (139)