Skip to content
CI

Path.drop_prefix: adapt to Win32 #30879

Sign in to view logs

Path.drop_prefix: adapt to Win32

Path.drop_prefix: adapt to Win32 #30879

Triggered via pull request May 7, 2025 20:48
@nojbnojb
synchronize #11767
nojb:drop_prefix_win32
Status Success
Total duration 16m 22s
Artifacts –

workflow.yml

on: pull_request
Format
1m 23s
Format
Documentation
53s
Documentation
Coq 8.16.1
12m 50s
Coq 8.16.1
Wasm_of_ocaml
5m 13s
Wasm_of_ocaml
Build microbenchmarks
2m 9s
Build microbenchmarks
Matrix: Build
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Build (4.14.x, macos-latest, true)
pkgconf 2.4.3 is already installed and up-to-date. To reinstall 2.4.3, run: brew reinstall pkgconf
Build (macos-latest, 5.2.x)
pkgconf 2.4.3 is already installed and up-to-date. To reinstall 2.4.3, run: brew reinstall pkgconf