Leonidas-from-XIV / dune / 235

Builds Branch Commit Type Ran Committer Via Coverage
235 main fix(pkg): respect global display flags for downloads (#9745) Whenever we do a network operation, we should make sure the user is aware we're running something. So we switch the display mode for such operations to respect the global default. ... push web-flow github
7.01
234 main test(pkg): copying empty directories (#9715) demonstrate that we just ignore empty directories Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
7.01
233 main refactor: remove some optional arguments (#9699) They provide no benefit here Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
7.02
232 main fix(pkg): Use function return value (#9693) Signed-off-by: Marek Kubica <marek@tarides.com> push web-flow github
7.01
231 main fix(pkg): improve locations for local path repos (#9670) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> <!-- ps-id: 9a1ab9a0-d6f5-49c3-af68-ace2a8029a6c --> push web-flow github
7.0
229 main fix(pkg): save locations of repo names (#9663) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> <!-- ps-id: 909b859e-c41b-49b3-81ef-9294e28c206d --> push web-flow github
7.01
228 main fix(pkg): Fix conditional dependencies test failure (#9592) The test used the default repos for the `dune.lock` repositories accidentally, which default to locations on the internet. Closes #9571. Signed-off-by: Marek Kubica <marek@tarides... push web-flow github
6.99
227 main refactor: simplify some package name conversion (#9612) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.99
226 main pkg: validate vars in lockdir against workspace (#9546) Adds a check that the variables in lockdir metadata agree with the variable assignments in the workspace file. Signed-off-by: Stephen Sherratt <stephen@sherra.tt> push web-flow github
6.97
225 main fix: concatenate strings before comparing (#9532) Fixes a bug where the argument lists to slang's `concat` operator were being compared in blang comparisons rather than comparing the result of the concatenation. Signed-off-by: Stephen Sherra... push web-flow github
6.98
224 main Add test for parse error when using run action (#9528) Signed-off-by: Stephen Sherratt <stephen@sherra.tt> push web-flow github
6.98
223 main test: print flags for vendored projects (#9521) Signed-off-by: Rudi Grinberg <me@rgrinberg.com> push web-flow github
6.98
222 main feature(pkg): Enable checking out tags (#9471) This implements the feature to check out tags. By default all remote tags get dumped into a common namespace, which is not what we want so we add an additional refspec in the config to map the tags... push web-flow github
6.96
221 main fix: use correct version for runtest_alias in cram (#9454) Signed-off-by: Etienne Millon <me@emillon.org> push web-flow github
6.97
220 main feature(pkg): Support for specifying particular branches/commits (#9241) Signed-off-by: Marek Kubica <marek@tarides.com> push web-flow github
6.96