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