Skip to content
Github CI

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

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. #3160

Triggered via pull request February 16, 2025 20:12
@ejgallegoejgallego
synchronize #918
patch_coq_for_stable_js_build_v820
Status Failure
Total duration 13m 9s
Artifacts –

build.yml

on: pull_request
Web Worker Build
12m 7s
Web Worker Build
Opam install
6m 12s
Opam install
client-compile
15s
client-compile
Nix Flake Check
54s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Web Worker Build
Process completed with exit code 2.