Adapt to coq/coq#19927 (coq-core renamed to rocq-runtime) #3062
build.yml
on: pull_request
Web Worker Build
9m 45s
Opam dev install
9m 22s
client-compile
12s
Nix Flake Check
1m 2s
Matrix: Nix
Matrix: build
Annotations
1 error and 11 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
coq-lsp_worker and front-end
|
37.2 MB |
|