Use microlens package family instead of lens-family-core
#886
| Job | Run time |
|---|---|
| 15m 2s | |
| 20m 52s | |
| 34m 47s | |
| 25m 56s | |
| 9m 46s | |
| 34m 12s | |
| 32m 4s | |
| 34m 5s | |
| 3h 26m 44s |
microlens package family instead of lens-family-core
#886
| Job | Run time |
|---|---|
| 15m 2s | |
| 20m 52s | |
| 34m 47s | |
| 25m 56s | |
| 9m 46s | |
| 34m 12s | |
| 32m 4s | |
| 34m 5s | |
| 3h 26m 44s |