add option Lua.hint.awaitPropagate to propagate ---@async
#573
| Job | Run time |
|---|---|
| 2m 1s | |
| 1m 52s | |
| 3m 28s | |
| 7m 21s |
Lua.hint.awaitPropagate to propagate ---@async
#573
| Job | Run time |
|---|---|
| 2m 1s | |
| 1m 52s | |
| 3m 28s | |
| 7m 21s |