[vendor] [deps] Bump Coq · ejgallego/coq-lsp@6af9c50

Triggered via pull request February 27, 2025 12:28

ejgallego

synchronize #922

bump_coq

Status Success

Total duration 14m 56s

Artifacts 1

build.yml

on: pull_request

Matrix: Nix

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	38.2 MB