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
Cf #1694. The example given there takes 45s to run on my machine on the first run, for something that doesn't have to perform any evaluation at all. Let's benchmark it and find out what's taking all this time.
The text was updated successfully, but these errors were encountered:
Cf #1694. The example given there takes 45s to run on my machine on the first run, for something that doesn't have to perform any evaluation at all. Let's benchmark it and find out what's taking all this time.
The text was updated successfully, but these errors were encountered: