Massimo Cairo

Results 6 comments of Massimo Cairo

What are the user-facing problems addressed by this PR? I can work on this PR before it rots complely :D

Documentation says: > Modular v9 is not currently compatible with FirebaseUI for Web. **The v9 compat library permits its usage alongside v9**, but without the app size reduction and other...

We are giving up on running problems "from the Git source" on the UI server. (We can still have a pipeline to run a problem from a given Git commit,...

> generated files such as statements should not be in that bundle Ok, no problem with that. On the server we can run: - `task-maker non-existent-solution` to generate the statements,...

BTW, if we don't want to generate any extra file, then a command like `task-maker-tools ls-files`, which simply lists the files used by task-maker, would be enough. We can resolve...

I had a similar issue, where `supabase start` would fail with > Error status 502: An invalid response was received from the upstream server Turned out it was due to...