Sora Morimoto

What happens if you use the latest stable point release?

I'm not an expert of PHP, but the RC release is more unstable than no RC for most projects. Also, strange behavior may have been fixed when 8.0.2 and others,...

Oops, I forgot to write a comment. What is the result of executing this? ``` whereis pg_config ```

Also, is the plugin the latest version?

For now, there are two options: - Remove the step to install composer from this plugin - Prioritize the composer path in your environment But the second option is often...

It’s also possible. At this moment, I'm thinking of adding a flag to gradually remove the step as we do other work in the future.

(Partially) Duplicate of #78

@hlubek Could you rebase this PR to base branch?

@seliopou I plan to open another PR that automatically publishes documents generated by odoc to GitHub Pages. What do you think? To be honest, generating a document locally to read...

I think the problem with doing this is that the cache hit rate is extremely low. I'm sure it easily causes something like thrashing.