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
The PR #37 was merged hastily without removing the ADTypes v0.2 compat bound, and so ADTypes v0.2 is the one used for tests.
If you removed it, you would see that ADTypes v1 is not actually supported: for instance, AutoModelingToolkit no longer exists (it is now AutoSymbolics). @Vaibhavdixit02 perhaps this can be fixed before #31 lands?