Update mops and call mops sources with --no-install flag
#49
| Job | Run time |
|---|---|
| 9s | |
| 22s | |
| 31s |
mops sources with --no-install flag
#49
| Job | Run time |
|---|---|
| 9s | |
| 22s | |
| 31s |