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
Good idea. I was tripped up by this in the past as well. But maybe it would be better to open a PR to Firedrake and make the error more instructive? I could take that on :)
This isn't obvious and has tripped up at least one user.
The text was updated successfully, but these errors were encountered: