Skip to content
Github CI

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

Sign in to view logs

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

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

Triggered via push February 27, 2025 14:24
@ejgallegoejgallego
pushed 1e7caed
v8.17
Status Cancelled
Total duration 14m 23s
Artifacts –

build.yml

on: push
Web Worker Build
6m 43s
Web Worker Build
Opam Install
6m 25s
Opam Install
client-compile
13s
client-compile
Nix Flake Check
51s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Web Worker Build
Process completed with exit code 2.
build (Windows Latest, 4.14, windows-latest)
Canceling since a higher priority waiting request for 'Github CI @ refs/heads/v8.17' exists
build (Windows Latest, 4.14, windows-latest)
The operation was canceled.