How to bump - math-comp/analysis GitHub Wiki

How to bump versions

We should maybe keep somewhere the information on how to bump the versions of dependencies (Coq or MathComp for instance):

  1. update opam files for classical and analysis
  2. update .nix/config.nix
  3. update .github/workflows/docker-action.yml