Skip to content
CI

pkg: command to check if project uses package management (#11997) #295

Sign in to view logs

pkg: command to check if project uses package management (#11997)

pkg: command to check if project uses package management (#11997) #295

Triggered via push July 11, 2025 13:02
@Leonidas-from-XIVLeonidas-from-XIV
pushed d68be8d
main
Status Success
Total duration 18m 24s
Artifacts –

workflow.yml

on: push
Format
1m 40s
Format
Documentation
1m 4s
Documentation
Coq 8.16.1
12m 53s
Coq 8.16.1
Wasm_of_ocaml
8m 16s
Wasm_of_ocaml
Build microbenchmarks
2m 24s
Build microbenchmarks
Matrix: Build
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Build (4.14.x, macos-latest, true)
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)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-cygwin-3.6.3, another job may be creating this cache.
Build (5.3.x, macos-latest)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf