Deleted user
Deleted user
Hmm, it's because `@all` means "all the targets" but only the final ones, i.e. things like `main.exe`. So for an executable, `@all` will only build the various modules in native...
Ok, I don't have a satisfying answer yet, but I'm making a note to myself to bring the subject up to the rest of the team at the next dev...
@cristianoc we discussed the problem last week. You can find the notes of our discussion [here](https://github.com/ocaml/dune/wiki/dev-meeting-20200513#cmt-files-problem). Basically, there is no perfect solution, but we decided on the following we should...
Fair enough. @rgrinberg I'm assigning this to you, let's get rid of the need for such workarounds!
Cache problem. Clean cache F5 on web or kill app and restart on mobile. Sometimes you have to do it more than once.
I've had this issue off and on, since a year back and it's always been related to cache. At one point only the device that did an ha update (and...
Just tested and I can provoke the problem by logging in via NABU, over 4G and then turn on Wifi so it will try local connection. Then it fails and...
Not critical for us geeks but try to get the wife and kids to accept this kind of behaviour. "You only have to kill and restart the app 2, 3...
Done some testing Linux/Chromium - Shift F5 and you are fine Android app - none of mine gets stuck. A simple kill/restart worked for all but one. I had to...
It was rather acute after 2024.8, especially on the Apple app. After 8.2 it settled down a bit. It's welcome that he will try to fix it. A simple kill/restart,...