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.

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

Fix misleading error message #390

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Commits on May 26, 2023

  1. Add repro test for github385

    gridbugs committed May 26, 2023
    Configuration menu
    Copy the full SHA
    c088927 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2023

  1. Try to avoid packages with avoid-version flag

    Rather than demoting packages with avoid-version flag, attempt to run
    the solver with these packages excluded, and then re-run the solver
    allowing avoid-version packages to be included only if the initial
    solve fails.
    gridbugs committed May 29, 2023
    Configuration menu
    Copy the full SHA
    a3f9c9d View commit details
    Browse the repository at this point in the history