Skip to content
Github CI

Merge branch 'v8.18' into v8.17 #3183

Sign in to view logs

Merge branch 'v8.18' into v8.17

Merge branch 'v8.18' into v8.17 #3183

Triggered via push February 27, 2025 14:08
@ejgallegoejgallego
pushed 83ea18e
v8.17
Status Cancelled
Total duration 16m 14s
Artifacts –

build.yml

on: push
Web Worker Build
7m 3s
Web Worker Build
Opam Install
6m 26s
Opam Install
client-compile
17s
client-compile
Nix Flake Check
52s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
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.
Web Worker Build
Canceling since a higher priority waiting request for 'Github CI @ refs/heads/v8.17' exists
Web Worker Build
The operation was canceled.