Add CI shield for opam package to README · mit-plv/fiat-crypto@76e0813

Triggered via pull request October 9, 2024 01:22

JasonGross

opened #1972

opam-shield

Status Cancelled

Total duration 2m 50s

Artifacts –

coq-macos.yml

on: pull_request

Matrix: build

Matrix: publish-standalone

Matrix: test-standalone

4 errors

Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-macos-12-4.11.1-opam-shield' exists

Canceling since a higher priority waiting request for 'CI (Coq, MacOS)-macos-14-4.14.2-opam-shield' exists

The operation was canceled.

Process completed with exit code 1.