[faq] Update FAQ for VsCoq 2 release. #2973
build.yml
on: pull_request
Web Worker Build
10m 3s
Opam dev install
9m 28s
client-compile
19s
Nix Flake Check
54s
Matrix: Nix
Matrix: build
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
coq-lsp_worker and front-end
|
36.6 MB |
|