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

Prompt user to use the backtracking resolver on errors #1719

Merged
merged 10 commits into from
Nov 10, 2022
Merged

Prompt user to use the backtracking resolver on errors #1719

merged 10 commits into from
Nov 10, 2022

Commits on Nov 8, 2022

  1. Prompt to use the backtracking resolver

    @maxfenv
    maxfenv committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    e8ec657 View commit details
    Browse the repository at this point in the history

  2. [pre-commit.ci] auto fixes from pre-commit.com hooks 

    for more information, see https://pre-commit.ci
    @pre-commit-ci
    pre-commit-ci[bot] committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    a796d6d View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2022

  1. Test that user is prompted for backtracking

    @maxfenv
    maxfenv committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    0dca6e6 View commit details
    Browse the repository at this point in the history

  2. Keep line lengths below 80 chars

    @maxfenv
    maxfenv committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    02972d6 View commit details
    Browse the repository at this point in the history

  3. [pre-commit.ci] auto fixes from pre-commit.com hooks 

    for more information, see https://pre-commit.ci
    @pre-commit-ci
    pre-commit-ci[bot] committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    cc7e396 View commit details
    Browse the repository at this point in the history

  4. Improve test_failure_of_legacy_resolver_prompts_for_backtracking

    @atugushev
    atugushev committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    62adf03 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2022

  1. Merge pull request #1 from atugushev/pr/1719-1 

    Combine tests
    @maxfenv
    maxfenv committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    6997cc4 View commit details
    Browse the repository at this point in the history

  2. Exclude branch from test coverage

    @maxfenv
    maxfenv committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    2355215 View commit details
    Browse the repository at this point in the history

  3. [pre-commit.ci] auto fixes from pre-commit.com hooks 

    for more information, see https://pre-commit.ci
    @pre-commit-ci
    pre-commit-ci[bot] committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    2d2e8f5 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into prompt-for-backtracking

    @atugushev
    atugushev committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    37836df View commit details
    Browse the repository at this point in the history