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

Update trio to 0.17 & trio-typing to 0.8.0 #283

Merged
merged 1 commit into from
Jun 7, 2023

Conversation

FirelightFlagboy
Copy link
Contributor

@FirelightFlagboy FirelightFlagboy commented Jun 6, 2023

Hello, I would like to update the version of trio & relax the version of trio-typing.

I'm working on a project where we use qtrio, trio & trio-typing and we would like to update trio & trio-typing.
But we're stuck being with qtrio requirement for trio-typing.

So I propose this pull-request, I've tested the change on the said project and it work,
I've also executed the following command on qtrio

python3 -m venv testvenv
source testvenv/bin/activate
INSTALL_EXTRAS=[PyQt5,p_tests] ./ci.sh
INSTALL_EXTRAS=[PyQt5,p_checks,p_docs] CHECK_TYPE_HINTS=1 ./ci.sh

@altendky
Copy link
Owner

altendky commented Jun 7, 2023

Closing temporarily to kick CI.

@altendky altendky closed this Jun 7, 2023
@altendky altendky reopened this Jun 7, 2023
@altendky
Copy link
Owner

altendky commented Jun 7, 2023

Nope, it was the workflow being disabled. Kicking again.

@altendky altendky closed this Jun 7, 2023
@altendky altendky reopened this Jun 7, 2023
@altendky altendky merged commit 4f6d4f9 into altendky:main Jun 7, 2023
@altendky
Copy link
Owner

altendky commented Jun 7, 2023

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants