Skip to content
Github CI

[ci] [web worker] Build Web Worker with patched Coq in stable versions. #3161

Sign in to view logs

[ci] [web worker] Build Web Worker with patched Coq in stable versions.

[ci] [web worker] Build Web Worker with patched Coq in stable versions. #3161

Triggered via pull request February 16, 2025 20:16
@ejgallegoejgallego
synchronize #917
patch_coq_for_stable_js_build
Status Success
Total duration 13m 22s
Artifacts 1

build.yml

on: pull_request
Web Worker Build
9m 21s
Web Worker Build
Opam dev install
7m 22s
Opam dev install
client-compile
14s
client-compile
Nix Flake Check
1m 1s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coq-lsp_worker and front-end
38.1 MB