Skip to content
Github CI

Merge branch 'v9.0' into v8.20 #3885

Sign in to view logs

Merge branch 'v9.0' into v8.20

Merge branch 'v9.0' into v8.20 #3885

Triggered via push December 1, 2025 19:50
@ejgallegoejgallego
pushed c4d0f89
v8.20
Status Failure
Total duration 15m 25s
Artifacts –

build.yml

on: push
Web Worker Build (JSOO and WASM)
13m 29s
Web Worker Build (JSOO and WASM)
Opam install
6m 3s
Opam install
client-compile
12s
client-compile
Nix Flake Check
47s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (windows-latest, 4.14.x)
Process completed with exit code 1.
Web Worker Build (JSOO and WASM)
Process completed with exit code 2.