CI

refactor(sat): small style improvements (#11416) #29849

Sign in to view logs

Triggered via push January 29, 2025 22:38

rgrinberg

main

Status Success

Total duration 15m 54s

Artifacts –

workflow.yml

on: push

Build monorepo benchmark docker image

Build microbenchmarks

Matrix: Build

Matrix: Create local opam switch

Matrix: Nix

Annotations

2 warnings

Build (4.14.x, macos-latest, true)

pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf

Build (macos-latest, 5.1.x)

pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf