Adapt to https://github.com/coq/coq/pull/19530 (#1992) · mit-plv/fiat-crypto@8eccaf2

Triggered via push December 5, 2024 13:16

JasonGross

master

Status Success

Total duration 1h 36m 11s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install

6 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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