add option Lua.hint.awaitPropagate to propagate ---@async
#574
| Job | Run time |
|---|---|
| 1m 57s | |
| 3m 3s | |
| 3m 24s | |
| 8m 24s |
Lua.hint.awaitPropagate to propagate ---@async
#574
| Job | Run time |
|---|---|
| 1m 57s | |
| 3m 3s | |
| 3m 24s | |
| 8m 24s |