Merge pull request #1075 from ejgallego/metanejo #3862
ejgallegobuild.yml
on: push
Web Worker Build (JSOO and WASM)
10m 4s
Opam dev install
6m 56s
client-compile
17s
Nix Flake Check
48s
Matrix: Nix
Matrix: build
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coq-lsp_worker and front-end
|
45.5 MB |
sha256:e211671b89669255e8ec0529ac11b2ef6c1b8573f382dd71898f2468cbf49799
|
|