Leonidas-from-XIV / dune / 287

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
277 main fix: pp_infinity is unused in the mli on 5.2 (#10971) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.93
276 main refactor(pkg test): Avoid `gzip` on tarballs (#10952) This avoids gzipping the tarballs that are created to test end to end functionality. Compressing and decompressing them takes time for minimal space saving so this PR just removes it. It ... push web-flow github
6.93
275 main doc: `dune pkg` tutorial (#10920) Signed-off-by: Marek Kubica <marek@tarides.com> push web-flow github
6.93
274 main chore: update vendored pp to 2.0.0 (#10938) Signed-off-by: Stephen Sherratt <stephen@sherra.tt> push web-flow github
6.87
273 main refactor(pkg): tweak experimental flag names (#10928) If only have "enable" flags, it will be impossible to disable existing flags once we change the defaults. With this change, we can tweak the defaults without adding/removing more flags. S... push web-flow github
6.87