Merge pull request #84 from coq-community/boilerplate-rectypes

Fix boilerplate

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

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)