Skip to content
CI

fix(copyfile): inline linux/version.h #35152

Sign in to view logs

fix(copyfile): inline linux/version.h

fix(copyfile): inline linux/version.h #35152

Triggered via pull request December 9, 2025 11:02
@AlizterAlizter
opened #12901
Alizter:push-vluuszlokrzk
Status Success
Total duration 52m 58s
Artifacts –

workflow.yml

on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
8m 44s
Format
Documentation
1m 9s
Documentation
Cygwin Build
3m 31s
Cygwin Build
Test that the utop dev tool can be built and run
13m 6s
Test that the utop dev tool can be built and run
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Rocq Language (Rocq 9.1.0)
Coq 8.16.1
2m 16s
Coq 8.16.1
Wasm_of_ocaml
4m 1s
Wasm_of_ocaml
Building Dune with OxCaml
4m 31s
Building Dune with OxCaml
Build microbenchmarks
1m 30s
Build microbenchmarks
Matrix: Create local opam switch
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Build (4.14.x, macos-latest)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf
Build (ocaml-compiler.5.3.0,system-msvc, windows-latest, true)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-3.6.5, another job may be creating this cache.
Build (5.3.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf