Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: python/mypy
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: be5f84b
Choose a base ref
...
head repository: python/mypy
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 3534bac
Choose a head ref
  • 12 commits
  • 27 files changed
  • 7 contributors

Commits on Jun 24, 2023

  1. Add back +dev to version

    hauntsaninja committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    87ddfee View commit details
    Browse the repository at this point in the history
  2. Switch PEP 561 tests to a different build backend (#15451)

    Fixes #15446
    
    setuptools has broken how editable installs work. It seems like most
    other build backends continue to use static pth files, so let's just
    switch to another one.
    hauntsaninja committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    7871ed9 View commit details
    Browse the repository at this point in the history
  3. Bump typing_extensions dependency (#15488)

    Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
    2 people authored and hauntsaninja committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    9faffe8 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    eba351e View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    81d01aa View commit details
    Browse the repository at this point in the history
  6. Unbreak CI (#15505)

    pytest 7.4.0 was just released, and our CI on `master` is very red as a
    result. Looks like we're using a private API that we shouldn't be:
    #15501 (comment). For
    now let's just pin to pytest <7.4.0.
    
    https://pypi.org/project/pytest/7.4.0/
    AlexWaygood authored and hauntsaninja committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    e5a5b33 View commit details
    Browse the repository at this point in the history
  7. docs: ref redirector (#15432)

    Makes the HTML builder generate a _refs.html file that redirects
    (global) refs (when provided as a hash i.e. `_refs.html#some-ref`) to
    the appropriate document.
    
    This allows tools (e.g. #15431) to link to well-known refs.
    ikonst authored and hauntsaninja committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    32abe02 View commit details
    Browse the repository at this point in the history
  8. Use consistent anchors for error codes (#15435)

    Fixes #15431
    
    After this PR one will be able to easily find documentation for given
    error code using
    `https://mypy.readthedocs.io/en/stable/_refs.html#code-{code as reported
    by mypy}`, for example
    `https://mypy.readthedocs.io/en/stable/_refs.html#code-attr-defined`.
    ilevkivskyi authored and hauntsaninja committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    9b327d1 View commit details
    Browse the repository at this point in the history
  9. Fix readthedocs build (#15437)

    I initially included an error (removed allowlisted error code that is
    not covered), to verify it will be caught.
    
    ---------
    
    Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
    2 people authored and hauntsaninja committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    16fe5da View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    ba7887b View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    f36ea01 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2023

  1. Remove +dev from version

    hauntsaninja committed Jun 25, 2023
    1 Configuration menu
    Copy the full SHA
    3534bac View commit details
    Browse the repository at this point in the history
Loading