Code Actions #2952
build.yml
on: pull_request
Web Worker Build
8m 54s
Opam dev install
8m 38s
client-compile
16s
Nix Flake Check
47s
Matrix: Nix
Matrix: build
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
coq-lsp_worker and front-end
|
36.6 MB |
|