Skip to content

fix: promoting a file into a directory #37301

fix: promoting a file into a directory

fix: promoting a file into a directory #37301

Triggered via pull request February 1, 2026 18:14
Status Success
Total duration 24m 46s
Artifacts

workflow.yml

on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 23s
Format
Documentation
59s
Documentation
Cygwin Build
2m 39s
Cygwin Build
Test that the utop dev tool can be built and run
9m 4s
Test that the utop dev tool can be built and run
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Matrix: Create local opam switch
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Build (4.14.x, 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 (5.4.x, 5.4.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf