Jonas Wiebe
Results
2
comments of
Jonas Wiebe
I solved this by setting `vim.g.coq_settings = { limits = { completion_auto_timeout = 0.2 } }`, because it seemed like the rust LSP could not catch up with the refresh...
For anyone encountering this one. I got it to work by enabling the `bindgen` feature for `aws-lc-sys` and by installing `clang-8` inside the build container. I put this line into...