feat(grevm): introduce env var GREVM_WITH_HINTS
, `GREVM_UPDATE_DB_M…
#97
Job | Run time |
---|---|
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
2s | |
10s |
GREVM_WITH_HINTS
, `GREVM_UPDATE_DB_M…
#97
Job | Run time |
---|---|
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
2s | |
10s |