Code Actions #2959
build.yml
on: pull_request
Web Worker Build
11m 42s
Opam dev install
8m 53s
client-compile
15s
Nix Flake Check
49s
Matrix: Nix
Matrix: build
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
coq-lsp_worker and front-end
|
36.6 MB |
|