Skip to content

Pull requests: python-hyper/priority

New pull request New
Clear current search query, filters, and sorts
1 Open 133 Closed
1 Open 133 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

An initial attempt at stateful testing for PriorityTree
#55 by alexwlchan was merged Mar 21, 2017 Loading…
10
Improve error messages when handling stream 0
#51 by alexwlchan was merged Jan 22, 2017 Loading…
20
add type annotations
#138 by graingert was closed Jun 21, 2021 Loading…
17
Enforce RFC 7540 rules about stream weights
#52 by alexwlchan was merged Jan 22, 2017 Loading…
7
Correct a warning in MANIFEST.in
#148 by felixonmars was merged Aug 12, 2021 Loading…
2
Allow test_period_of_repetition to be slow
#135 by alyssais was closed Apr 16, 2021 Loading…
1
Forbid stream self-dependency.
#54 by Lukasa was merged Jan 23, 2017 Loading…
4
Fix typo in test comment
#10 by yoloseem was merged Feb 4, 2016 Loading…
1
[requires.io] dependency update on master branch
#146 by glyph was merged Jun 27, 2021 Loading…
typing, mypy, black
#145 by Kriechi was merged Jun 21, 2021 Loading…
1
unify repository layout
#144 by Kriechi was merged Jun 15, 2021 Loading…
[requires.io] dependency update on master branch
#142 by glyph was closed Jun 15, 2021 Loading…
[requires.io] dependency update on master branch
#141 by glyph was merged Apr 16, 2021 Loading…
modernize all the things
#140 by Kriechi was merged Apr 16, 2021 Loading…
update url and add project_urls
#137 by graingert was merged Apr 16, 2021 Loading…
[requires.io] dependency update on master branch
#134 by Kriechi was closed Apr 16, 2021 Loading…
[requires.io] dependency update on master branch
#133 by Lukasa was merged Sep 23, 2018 Loading…
[requires.io] dependency update on master branch
#132 by Lukasa was merged Jun 27, 2018 Loading…
[requires.io] dependency update on master branch
#131 by Lukasa was merged May 23, 2018 Loading…
[requires.io] dependency update on master branch
#130 by Lukasa was merged Apr 29, 2018 Loading…
[requires.io] dependency update on master branch
#129 by Lukasa was merged Apr 9, 2018 Loading…
[requires.io] dependency update on master branch
#128 by Lukasa was merged Mar 11, 2018 Loading…
[requires.io] dependency update on master branch
#127 by Lukasa was merged Mar 4, 2018 Loading…
[requires.io] dependency update on master branch
#126 by Lukasa was merged Feb 22, 2018 Loading…
[requires.io] dependency update on master branch
#125 by Lukasa was merged Feb 3, 2018 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.