Skip to content

Activity

Merge pull request #98 from apollo13/patch-1

Pull request merge
tjstumpushed 2 commits to master • c7d9707…e018f1f • 
on Oct 24, 2024

Merge pull request #96 from Hnasar/patch-1

Pull request merge
tjstumpushed 2 commits to master • 0936804…c7d9707 • 
on Sep 24, 2024

Merge pull request #94 from rsokl/fix-cancel-scope

Pull request merge
oremanjpushed 2 commits to master • 4d7cb8c…0936804 • 
on Aug 9, 2024

Merge pull request #93 from oremanj/release-v0.10.0

Pull request merge
oremanjpushed 3 commits to master • 2404a3b…4d7cb8c • 
on Dec 1, 2023

Merge pull request #92 from oremanj/support-mypy17

Pull request merge
oremanjpushed 5 commits to master • 6ebf74a…2404a3b • 
on Dec 1, 2023

Merge pull request #89 from oremanj/release-v0.9.0

Pull request merge
VincentVanlaerpushed 3 commits to master • 8a1952b…6ebf74a • 
on Aug 18, 2023

Merge pull request #83 from VincentVanlaer/mypy-1.4

Pull request merge
VincentVanlaerpushed 7 commits to master • 8c36778…8a1952b • 
on Aug 2, 2023

Merge pull request #82 from TeamSpen210/guest-strict-exc-groups

Pull request merge
VincentVanlaerpushed 2 commits to master • 6656578…8c36778 • 
on Jun 18, 2023

Merge pull request #81 from gschaffner/fix-TaskStatus.started-type-un…

Pull request merge
oremanjpushed 2 commits to master • 8d2e392…6656578 • 
on May 14, 2023

Merge pull request #79 from agronholm/master

Pull request merge
VincentVanlaerpushed 2 commits to master • f8cf2df…8d2e392 • 
on Apr 30, 2023

Deleted branch

agronholmdeleted fix-getaddrinfo-return • 
on Apr 10, 2023

Deleted branch

oremanjdeleted release-v0.8.0 • 
on Mar 29, 2023

Merge pull request #77 from python-trio/release-v0.8.0

Pull request merge
oremanjpushed 3 commits to master • 8d98579…f8cf2df • 
on Mar 29, 2023

Bump version to 0.8.0+dev post release

oremanjpushed 1 commit to release-v0.8.0 • 2c17e51…3327fe0 • 
on Mar 29, 2023

Bump version to 0.8.0 for release

oremanjcreated release-v0.8.0 • 2c17e51 • 
on Mar 29, 2023

Deleted branch

oremanjdeleted misc-fixes • 
on Mar 29, 2023

Merge pull request #76 from python-trio/misc-fixes

Pull request merge
oremanjpushed 5 commits to master • 73ba636…8d98579 • 
on Mar 29, 2023

Tweak stubtest allowlist

oremanjpushed 1 commit to misc-fixes • 5f1a975…0373f91 • 
on Mar 29, 2023

Fix mypy errors

Force push
oremanjforce pushed to misc-fixes • b5d089b…5f1a975 • 
on Mar 29, 2023

Fix mypy errors

Force push
oremanjforce pushed to misc-fixes • 04d5d1a…b5d089b • 
on Mar 29, 2023

Fix mypy errors

oremanjpushed 1 commit to misc-fixes • b95d2d5…04d5d1a • 
on Mar 29, 2023

Deleted branch

oremanjdeleted fix-getaddrinfo-types • 
on Mar 28, 2023

Run black and fix typo

oremanjpushed 1 commit to misc-fixes • 2363837…b95d2d5 • 
on Mar 28, 2023

Update stubs for upstream updates we haven't taken yet: lowlevel.open…

oremanjcreated misc-fixes • 2363837 • 
on Mar 28, 2023

Merge pull request #62 from python-trio/fix-getaddrinfo-types

Pull request merge
oremanjpushed 3 commits to master • 118653c…73ba636 • 
on Mar 28, 2023

Run black

oremanjpushed 1 commit to fix-getaddrinfo-types • ad24371…1f5ba07 • 
on Mar 28, 2023

Updated type annotations for getaddrinfo()

Force push
oremanjforce pushed to fix-getaddrinfo-types • 4d02d2d…ad24371 • 
on Mar 28, 2023

Merge pull request #64 from VincentVanlaer/covariant-listener

Pull request merge
oremanjpushed 2 commits to master • 4589248…118653c • 
on Mar 28, 2023

Merge pull request #70 from VincentVanlaer/outcome-match

Pull request merge
oremanjpushed 2 commits to master • e10a716…4589248 • 
on Mar 28, 2023

Merge pull request #72 from gschaffner/fix-takes_callable_and_args-Ty…

Pull request merge
oremanjpushed 2 commits to master • 6cefb0b…e10a716 • 
on Mar 28, 2023