Codebase Checks

fix: add coq_nvim completion integration #284

Sign in to view logs

Triggered via pull request October 20, 2024 21:56

TheLeoP

synchronize #1597

TheLeoP:fix-coq-completion

Status Success

Total duration 9m 31s

Artifacts –

checks.yml

on: pull_request

integration-test