Skip to content

ocaml-index: delay module iteration into action builder#12886

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:ocaml-index-delay-action-builder-2
Dec 8, 2025
Merged

ocaml-index: delay module iteration into action builder#12886
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:ocaml-index-delay-action-builder-2

Conversation

@rgrinberg
Copy link
Copy Markdown
Member

What the title says

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
@rgrinberg rgrinberg merged commit 7c71264 into ocaml:main Dec 8, 2025
29 checks passed
davesnx pushed a commit to davesnx/dune that referenced this pull request Dec 8, 2025
* dev

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

* refactor: delay more ocaml-index deps into action builder

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

---------

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Signed-off-by: David Sancho Moreno <dsnxmoreno@gmail.com>
davesnx added a commit to davesnx/dune that referenced this pull request Dec 8, 2025
…without-system

* 'main' of github.com:/ocaml/dune:
  Move trace events to dune_trace (ocaml#12867)
  Findlib DB: use id instead of physical equality (ocaml#12877)
  Make Only_packages.t abstract (ocaml#12882)
  ocaml-index: delay module iteration into action builder (ocaml#12886)
  blake3: disable useless warning on ARM (ocaml#12888)
  Add test for output when locking in multiple ways
  Always log solution into build log
  Write the chosen solution to the log
davesnx pushed a commit to davesnx/dune that referenced this pull request Dec 10, 2025
* dev

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

* refactor: delay more ocaml-index deps into action builder

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

---------

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Signed-off-by: David Sancho Moreno <dsnxmoreno@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants