From b822a42416cf7f8695736f1744b8690532cd1ddb Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sat, 30 Dec 2023 19:11:44 +0100 Subject: [PATCH 1/2] remove unnecessary -rectypes option from Dune build --- plugin/dune | 1 - 1 file changed, 1 deletion(-) diff --git a/plugin/dune b/plugin/dune index f0cfc1a..989abf0 100644 --- a/plugin/dune +++ b/plugin/dune @@ -1,7 +1,6 @@ (library (name bignums_syntax_plugin) (public_name coq-bignums.plugin) - (flags :standard -rectypes) (libraries coq-core.vernac)) (include_subdirs no) From a386b1f4a3617a40e558d9cba417d14724a23576 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sat, 30 Dec 2023 19:12:11 +0100 Subject: [PATCH 2/2] fix badges in README.md by regenerating from template --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index a9b9e89..5688d0c 100644 --- a/README.md +++ b/README.md @@ -9,8 +9,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener [![Code of Conduct][conduct-shield]][conduct-link] [![Zulip][zulip-shield]][zulip-link] -[docker-action-shield]: https://github.com/coq-community/bignums/workflows/Docker%20CI/badge.svg?branch=master -[docker-action-link]: https://github.com/coq-community/bignums/actions?query=workflow:"Docker%20CI" +[docker-action-shield]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml/badge.svg?branch=master +[docker-action-link]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md