add option Lua.hint.awaitPropagate to propagate ---@async
#4419
| Job | Run time |
|---|---|
| 2m 55s | |
| 5m 56s | |
| 1m 47s | |
| 1m 58s | |
| 2m 53s | |
| 3m 42s | |
| 3m 26s | |
| 22m 37s |
Lua.hint.awaitPropagate to propagate ---@async
#4419
| Job | Run time |
|---|---|
| 2m 55s | |
| 5m 56s | |
| 1m 47s | |
| 1m 58s | |
| 2m 53s | |
| 3m 42s | |
| 3m 26s | |
| 22m 37s |