Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

opam root version: fix upgrade from a non global config change #5305

Merged
merged 4 commits into from
Feb 28, 2023
Merged

opam root version: fix upgrade from a non global config change #5305

merged 4 commits into from
Feb 28, 2023

Commits on Feb 22, 2023

  1. global state: add global upgrade status 

    Used to retrieve information about remaining upgrades to do (repo or
switch)
    @rjbou
    rjbou committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    0249fc3 View commit details
    Browse the repository at this point in the history

  2. format upgrade: fix opam upgrade root 

    When root is bumped but only repo or switch is modified, upgraded files
can be written without writing the root bump (on-the-fly global state
upgrade).
    @rjbou
    rjbou committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    dedcf89 View commit details
    Browse the repository at this point in the history

  3. format upgrade: update jobs note

    @rjbou
    rjbou committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    71ce719 View commit details
    Browse the repository at this point in the history

  4. update changes

    @rjbou
    rjbou committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    6116751 View commit details
    Browse the repository at this point in the history