I just got this from JetBrains: <img width="689" alt="Screenshot 2023-07-04 at 18 04 56" src="https://github.com/objectionary/eo-intellij-plugin/assets/526301/11198e96-4126-4b08-bf48-c26101d925ff"> Let's try to get rid of this and also let's try to configure our build so that it would fail when we use deprecated API.
I just got this from JetBrains:
Let's try to get rid of this and also let's try to configure our build so that it would fail when we use deprecated API.