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

Upper pin coverage at 7.3.0 #5723

Merged
merged 1 commit into from
Sep 7, 2023
Merged

Upper pin coverage at 7.3.0 #5723

merged 1 commit into from
Sep 7, 2023

Conversation

wxtim
Copy link
Member

@wxtim wxtim commented Sep 6, 2023

Prevent this error

MyPy appears to be objecting to a walrus operator added to coverage at 7.3.1. This is odd, because it only objects to it at python 3.10 & 3.11 where the Walrus operator is valid (Probably the python version set in mypy.ini).

I'm not at all happy that this appears to be happening, but a quick investigation wasn't able to sort out the problem, and upper-pinning fixes the CI.

@wxtim wxtim requested a review from MetRonnie September 6, 2023 16:33
@wxtim wxtim self-assigned this Sep 7, 2023
@wxtim wxtim changed the title Upper pin coverage at 7.3.0 to prevent mypy objecting to Upper pin coverage at 7.3.0 Sep 7, 2023
@wxtim wxtim added this to the cylc-8.2.2 milestone Sep 7, 2023
@wxtim wxtim changed the title Upper pin coverage at 7.3.0 Upper pin _coverage_ at 7.3.0 Sep 7, 2023
@wxtim wxtim changed the title Upper pin _coverage_ at 7.3.0 Upper pin **coverage** at 7.3.0 Sep 7, 2023
@wxtim wxtim changed the title Upper pin **coverage** at 7.3.0 Upper pin coverage at 7.3.0 Sep 7, 2023
@MetRonnie MetRonnie merged commit 9198b94 into cylc:8.2.x Sep 7, 2023
46 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants