N1ark

> Hello, could we reopen this issue? The problem is still there, still getting duplicated `JsonSubTypes` in 7.0.0 (compared to 5.4.0 for example). The steps OP provided are still relevant....

Nice ! Yeah understandable hahah, thanks for implementing it :D

same issue with `zed --diff `, where unfortunately adding the flag last isn't an option; autocomplete only works for the first argument, would be nice to enable it for all...

The above fix didn't work for me. Issue seems to occur starting from https://github.com/vercel/vercel/releases/tag/[email protected], where I'm getting an issue when building static routes without `runtime = 'edge'` despite the route...

> What nexths and next-on-pages version are you using? I've tried downgrading vercel to 34.4.0, but with latest 1.13.7 next-on-pages version I still get an error about edge runtime. Ah...

When I have more time I'm happy to change this, by the way -- though if anyone wants to do it before I'd very much appreciate it :) The change...

(I'm happy to quickly add this once I have the time! I would like avoiding adding an additional statementkind but I don't think there's a clean way to mention a...

Hi! I'm the person working on the project involving Charon :) The issue right now is that, e.g. when wanting to analyse a simple hello world, the (U)LLBC uses the...

Oh this seems promising, thank you very much! I have other things I need to get working before getting to this, but I'll definitely keep this in mind for later...

Oh that's so great to hear! Thanks a ton, I'm busy with other things but Ill try this out soon, looks super promising and would solve some problems, thank you...