Adapt to coq/coq#19575 (ltac2 parsing uses attributes) · ejgallego/coq-lsp@3301018

Triggered via pull request October 1, 2024 12:16

ejgallego

synchronize #826

Status Failure

Total duration 18m 54s

Artifacts 1

build.yml

on: pull_request

Matrix: Nix

Matrix: build

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
coq-lsp_worker and front-end	36.6 MB