Merge pull request #2047 from JasonGross/directives · mit-plv/fiat-crypto@2872ecd

Triggered via push March 11, 2025 19:29

JasonGross

master

Status Failure

Total duration 18h 54m 27s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install

2 errors and 4 warnings

Process completed with exit code 40.

Process completed with exit code 40.

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf