[Question] How can i upgrade quint code?

[giaphutran12]

So I notice quint code has gotten some new pr merged, and I want to upgrade to the latest version. how would i do so?

[m0n0x41d]

Please try the same install script, it should work. Let me know if you face any issues