Skip to content
Github CI

[build] [js] Fix Coq branch used in JS patch #3187

Sign in to view logs

[build] [js] Fix Coq branch used in JS patch

[build] [js] Fix Coq branch used in JS patch #3187

Triggered via push February 27, 2025 14:25
@ejgallegoejgallego
pushed d77e477
v8.18
Status Failure
Total duration 20m 58s
Artifacts –

build.yml

on: push
Web Worker Build
6m 52s
Web Worker Build
Opam Install
6m 33s
Opam Install
client-compile
12s
client-compile
Nix Flake Check
55s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

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