Skip to content

fix: add coq_nvim completion integration #283

fix: add coq_nvim completion integration

fix: add coq_nvim completion integration #283

Triggered via pull request October 20, 2024 21:56
Status Success
Total duration 9m 38s
Artifacts

checks.yml

on: pull_request
integration-test
9m 27s
integration-test
Fit to window
Zoom out
Zoom in