Skip to content

How to bump

Jump to bottom
Pierre Roux edited this page Feb 12, 2023 · 2 revisions

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
Clone this wiki locally