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
$ time magic make desktop.examples/block/20-mail -n
real 0m8.445s
user 0m8.428s
sys 0m0.972s
$ time enb make examples desktop.examples/block/20-mail -n
real 0m6.447s
user 0m6.695s
sys 0m0.485s
And it should be optimized!
The text was updated successfully, but these errors were encountered:
There is something wrong right now:
And it should be optimized!
The text was updated successfully, but these errors were encountered: