Leonidas-from-XIV / dune
7%

DEFAULT BRANCH: main
Repo Added
Token 2Ct18MNVrPe7qCG4eOwkUK1mCchjhylfh regen
Build 194 Last
Files 547
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: 6.908% (-0.004%) from 6.912%
287

push

github

web-flow 
Add pins of dune-project to Dyn representation (#11187)

Signed-off-by: Marek Kubica <marek@tarides.com>

0 of 1 new or added line in 1 file covered. (0.0%)

290 existing lines in 8 files now uncovered.

2951 of 42719 relevant lines covered (6.91%)

26667.05 hits per line

Relevant lines Covered
42719 RELEVANT LINES 2951 COVERED LINES
26667.05 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
287 main Add pins of dune-project to Dyn representation (#11187) Signed-off-by: Marek Kubica <marek@tarides.com> push web-flow github
6.91
286 main fix: Allow any ref of a Git repo in the fragment (#11147) This reverses the split of branches and tags from #11127, instead putting all possible references (e.g. also pull requests) in the same map and implements short-hands for looking up unqu... push web-flow github
6.91
285 main Fix ignored-dune-lock test on macos (#11179) The macos patch utility doesn't like it when a patch contains no hunks, so this change adds a hunk to the patch used in the ignored-dune-lock test. Signed-off-by: Stephen Sherratt <stephen@sherra.tt> push web-flow github
6.93
284 main fix(pkg): use correct environment for using format rules (#11155) The base environment was omitted Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.92
283 main test: Add reproduction case for #11140 (#11142) * test: Add reproduction case for #11140 Signed-off-by: Marek Kubica <marek@tarides.com> * Fix for non-GNU sed Signed-off-by: Marek Kubica <marek@tarides.com> --------- Signed-off-by:... push web-flow github
6.93
282 main doc: update dune dependencies in the doc itself (#10932) Signed-off-by: Ambre Austen Suhamy <ambre@tarides.com> push web-flow github
6.93
281 main pkg: add binary package repo (#11020) Adds a repo of binary packages to dune so that dev tools can be quickly installed without the need to download and compile their entire dependency cone on supported platforms. Currently ocamlfind and ocamll... push web-flow github
6.91
280 main Merge pull request #10990 from gridbugs/dune-fmt-stale-file-fix pkg: fix dev-tool bug where `dune fmt` would revert file push web-flow github
6.92
279 main fix(pkg): add location hash mismatch error (#11007) We use the lcok directory as the location rather than pointing at the hash, as the user shouldn't really touch the hash. Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.92
278 main test(pkg): reproduce not finding the patch file (#10947) Signed-off-by: Alpha DIALLO <moyodiallo@gmail.com> push web-flow github
6.93
See All Builds (149)

Badge your Repo: dune

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