2
100%
master: 100%

Ran 19 Aug 2023 05:31PM UTC

Files 12

Run time 0s

Badge

Embed ▾

Committed 19 Aug 2023 05:26PM UTC coverage: 100.0%. Remained the same

Job # 5912682609.2

Build Type

push

github

Committed by

web-flow

Commit Message

Add `plum.overload` (#93)

* Add `plum.overload` with tests and docs

* Produce nice error if `typing_extensions` is not available

* Incoporate simplifications suggested by @wch

* Update plum/overload.py

Co-authored-by: Gabriel de Marmiesse <gabrieldemarmiesse@gmail.com>

* Fix type stub

* Update plum/overload.py

Co-authored-by: Winston Chang <winston@stdout.org>

* Import `Any`

* Add ability to assert `mypy` errors

* Delete unnecessary `overload.pyi`

* Add tests for both mypy and pyright

* Fix CI

* Fix sentence

* Print output if things are OK

* Implement UX suggestion by @gabrieldemarmiesse

* Fix typo

* Fix typo

* Remove empty API section

---------

Co-authored-by: Gabriel de Marmiesse <gabrieldemarmiesse@gmail.com>
Co-authored-by: Winston Chang <winston@stdout.org>

Run Details

935 of 935 relevant lines covered (100.0%)

1.0 hits per line

beartype / plum / 5912682609 / 2
100%
master: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 5912682609.2

beartype / plum / 5912682609 / 2 100% master: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 5912682609.2

beartype / plum / 5912682609 / 2
100%
master: 100%

README BADGES
x