[coq] Abstract the feedback / error payloads better. · ejgallego/coq-lsp@432dc2f

Triggered via pull request October 3, 2024 15:26

ejgallego

opened #845

payload

Status Cancelled

Total duration 16m 27s

Artifacts 1

build.yml

on: pull_request

Matrix: Nix

Matrix: build

2 errors

Canceling since a higher priority waiting request for 'Github CI @ ejgallego:payload' exists

The operation was canceled.

Produced during runtime

Name	Size
coq-lsp_worker and front-end	36.6 MB