Skip to content

Doc string proof of concept #1494

Doc string proof of concept

Doc string proof of concept #1494

Annotations

2 errors and 1 warning

dev-setup-opam (ubuntu-latest, 4.14.x, dev)

failed Jan 21, 2025 in 6m 50s
Set up job
1s
Checkout
2s
Use OCaml 4.14.x
39s
Install deps
6m 1s
Build vscoq-language-server
3s
Unit tests
0s
Run actions/setup-node@v3
0s
Run cd client && yarn run install:all && yarn run build:all && yarn run compile
0s
Run cd client && xvfb-run yarn test
0s
Run cat /tmp/vscoq_init_log.*
0s
Post Use OCaml 4.14.x
0s
Post Checkout
0s
Complete job
0s