You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Unmarking directory as a source root sometimes does not always propagate this change to YAML file.
In this gif there's an example of a correct behavior for arend-lib and an example of incorrect behavior for arend-demo.
The text was updated successfully, but these errors were encountered:
Unmarking directory as a source root sometimes does not always propagate this change to YAML file.
In this gif there's an example of a correct behavior for arend-lib and an example of incorrect behavior for arend-demo.
The text was updated successfully, but these errors were encountered: