[vendor] Bump Coq and Stdlib for recent changes · ejgallego/coq-lsp@ddae589

Triggered via pull request February 3, 2025 18:14

ejgallego

synchronize #898

bump_coq_stdlib

Status Success

Total duration 13m 50s

Artifacts 1

build.yml

on: pull_request

Matrix: Nix

Matrix: build

Produced during runtime

Name	Size
coq-lsp_worker and front-end	37.2 MB