Ulysse

> For a first release, I would consider the following strategy to select whether this feature is enabled: > > * attach these rules to `@ocaml-index` > > * if...

@rgrinberg removing the aggregation step does have an impact on cold build time, which is probably more noticeable on rebuilds. `@check @ocaml-index` is still 46% slower than `@check`, but it...

Thanks for your review @rgrinberg. I was focused on experimenting with performance improvement but I will answer your comments soon. We spent some time with @emillon to make the indexer...

I rebased the PR and made a few more changes like adding documentation and removing `@check-index`. I think the PR is now ready for another round of review. @rgrinberg I...

> > Right now to get the set of hidden deps I use requires_link \ requires_compile and it appears to work, but is that correct ? Is there a better...

@rgrinberg you contributed multiple refactorings to the PR, should I include you into the list of contributors in the changelog entry ?

Thanks for your answer Tim! I agree that building in dev mode for everyday CI is good because of the additional warnings. But if the lower bound check aims at...

Were you able to reproduce the issue ? If you don't I can try to provide one. Is there a version of Grav, or that plugin that I can downgrade...

Hi @jboillot, thanks for the report and the PR ! I will try to have a look at it soon. I am curious about the interaction with Merlin caching mechanism,...

As you said, the solution you propose feels very ad-hoc and hackish. I know it would take much longer to happen, but I feel that it would be more valuable...