From cf8e15789e681ec98f8ab688966ddf85e144203a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 8 Oct 2024 18:24:31 -0700 Subject: [PATCH] Add CI shield for opam package to README (#1972) * Add CI shield for opam package to README * Rename opam CI to CI (Coq, opam) --- .github/workflows/coq-opam-package.yml | 2 +- README.md | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index 5df6272114..ed87b630b9 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -1,4 +1,4 @@ -name: Test opam package +name: CI (Coq, opam) # Note that we must split up each command into a separate step for Windows, because otherwise we don't get error code # See also https://github.com/avsm/setup-ocaml/issues/72 diff --git a/README.md b/README.md index 60cad59d1a..a89c804c20 100644 --- a/README.md +++ b/README.md @@ -9,6 +9,7 @@ Building [![CI (Coq, Arch Linux)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-archlinux.yml/badge.svg?branch=master)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-archlinux.yml?query=branch%3Amaster) [![CI (Coq, Windows)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-windows.yml/badge.svg?branch=master)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-windows.yml?query=branch%3Amaster) [![CI (Coq, MacOS)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-macos.yml/badge.svg?branch=master)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-macos.yml?query=branch%3Amaster) +[![CI (opam)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-opam-package.yml/badge.svg?branch=master)](https://github.com/mit-plv/fiat-crypto/actions/workflows/coq-opam-package.yml?query=branch%3Amaster) [![Release][release-shield]][release-link] [![Zulip][zulip-shield]][zulip-link]