Merge pull request #839 from ejgallego/fix_hover_print_ind · ejgallego/coq-lsp@d2f6c62

Triggered via push September 28, 2024 20:44

ejgallego

main

Status Cancelled

Total duration 11m 59s

Artifacts 1

build.yml

on: push

Matrix: Nix

Matrix: build

2 errors

Canceling since a higher priority waiting request for 'Github CI @ refs/heads/main' exists

The operation was canceled.

Produced during runtime

Name	Size
coq-lsp_worker and front-end	36.6 MB