jchavarri / dune / 816

Builds Branch Commit Type Ran Committer Via Coverage
816 main doc: remove dune:field directive (#10215) * Use describe for dune:field Signed-off-by: Etienne Millon <me@emillon.org> * remove field code Signed-off-by: Etienne Millon <me@emillon.org> --------- Signed-off-by: Etienne Millon <me@e... push web-flow github
6.96
815 main refactor: rename [lib_artifacts] to [public_libs] (#10209) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.96
813 main fix(cram): add missing location to error (#10167) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.95
812 main fix(pkg): correctly rebuild packages when default branch changes (#10131) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.95
811 main fix(pkg): correctly extract tarballs (#10122) Previously, we'd extract sources as [source/$basename-of-tar]. We should instead extract the sources into [source/] directly. Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.95
810 main test(pkg): debug tarball test (#10147) Run the test server only once for both tarballs Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.95
809 main test(pkg): Extend the test to use recursive submodules (#10130) Signed-off-by: Marek Kubica <marek@tarides.com> push web-flow github
6.95
808 main pkg: back single_run_file_cache with fiber_cache (#10053) Signed-off-by: Stephen Sherratt <stephen@sherra.tt> push web-flow github
6.96
807 main chore: leave CR for $ dune init weirdness (#10032) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.96
806 main refactor: remove useless field from [Readdir] (#10024) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.96
804 main refactor: move [Package] to [Dune_lang] (#10009) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.96
803 main test(pkg): dune build command when pinning (#9974) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.95
802 main doc: explain the bootstrap process (#9829) Signed-off-by: Etienne Millon <me@emillon.org> push web-flow github
7.02
801 main feature(pkg): Submodule support (#9798) * feature(pkg): Submodule support Signed-off-by: Marek Kubica <marek@tarides.com> push web-flow github
7.04
800 main doc: add "How to Install Dune" (#9863) This was buried in the quickstart document (actually a collection of howtos). This is intended to be the central place that documents opam env, etc, so the other "if this does not work" paragraphs are remo... push web-flow github
7.01