Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocaml-dune
Commits:
-
25edd59d
by Stephane Glondu at 2024-02-14T16:53:20+01:00
-
41cf9c23
by Stephane Glondu at 2024-02-14T16:53:28+01:00
-
e03990ff
by Stephane Glondu at 2024-02-14T16:53:37+01:00
-
d39c527b
by Stephane Glondu at 2024-02-14T16:53:46+01:00
-
a7d97b62
by Stephane Glondu at 2024-02-14T16:53:55+01:00
-
2f136784
by Stephane Glondu at 2024-02-14T16:54:12+01:00
30 changed files:
- .github/workflows/bench.yml
- .github/workflows/workflow.yml
- .ocamlformat
- CHANGES.md
- Makefile
- bench/bench.ml
- bench/metrics.mli
- bench/micro/memo_bench/benchmarks.ml
- bench/micro/memo_bench/memo_tests_env.ml
- bench/monorepo/Makefile
- bench/monorepo/bench.Dockerfile
- bin/alias.ml
- bin/build_cmd.ml
- bin/build_cmd.mli
- bin/cache.ml
- bin/clean.ml
- bin/common.ml
- bin/common.mli
- bin/coq/coqtop.ml
- bin/describe/aliases_targets.ml
- bin/describe/aliases_targets.mli
- bin/describe/describe.ml
- bin/describe/describe_external_lib_deps.ml
- bin/describe/describe_format.ml
- bin/describe/describe_lang_compat.mli
- bin/describe/describe_opam_files.ml
- + bin/describe/describe_pkg.ml
- + bin/describe/describe_pkg.mli
- bin/describe/describe_pp.ml
- bin/describe/describe_workspace.ml