add option Lua.hint.awaitPropagate
to propagate ---@async
#4418
Job | Run time |
---|---|
2m 22s | |
6m 45s | |
1m 28s | |
1m 23s | |
2m 57s | |
3m 15s | |
3m 7s | |
21m 17s |
Lua.hint.awaitPropagate
to propagate ---@async
#4418
Job | Run time |
---|---|
2m 22s | |
6m 45s | |
1m 28s | |
1m 23s | |
2m 57s | |
3m 15s | |
3m 7s | |
21m 17s |