• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

casperlehmann / mantis / 16477331175 / 1
73%
master: 73%

Build:
DEFAULT BRANCH: master
Ran 23 Jul 2025 05:17PM UTC
Files 24
Run time 0s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

23 Jul 2025 05:16PM UTC coverage: 72.631%. Remained the same
16477331175.1

push

github

web-flow
Bump mypy from 1.16.1 to 1.17.0 (#170)

Bumps [mypy](https://github.com/python/mypy) from 1.16.1 to 1.17.0.
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/python/mypy/blob/master/CHANGELOG.md">mypy's
changelog</a>.</em></p>
<blockquote>
<h1>Mypy Release Notes</h1>
<h2>Next Release</h2>
<h2>Mypy 1.17</h2>
<p>We’ve just uploaded mypy 1.17 to the Python Package Index (<a
href="https://pypi.org/project/mypy/">PyPI</a>).
Mypy is a static type checker for Python. This release includes new
features and bug fixes.
You can install it as follows:</p>
<pre><code>python3 -m pip install -U mypy
</code></pre>
<p>You can read the full documentation for this release on <a
href="http://mypy.readthedocs.io">Read the Docs</a>.</p>
<h3>Optionally Check That Match Is Exhaustive</h3>
<p>Mypy can now optionally generate an error if a match statement does
not
match exhaustively, without having to use
<code>assert_never(...)</code>. Enable
this by using <code>--enable-error-code exhaustive-match</code>.</p>
<p>Example:</p>
<pre lang="python"><code># mypy: enable-error-code=exhaustive-match
<p>import enum</p>
<p>class Color(enum.Enum):
RED = 1
BLUE = 2</p>
<p>def show_color(val: Color) -&gt; None:
# error: Unhandled case for values of type
&quot;Literal[Color.BLUE]&quot;
match val:
case Color.RED:
print(&quot;red&quot;)
</code></pre></p>
<p>This feature was contributed by Donal Burns (PR <a
href="https://redirect.github.com/python/mypy/pull/19144">19144</a>).</p>
<h3>Further Improvements to Attribute Resolution</h3>
<p>This release includes additional improvements to how attribute types
and kinds are resolved. These fix many bugs and overall improve
consistency.</p>
<ul>
<li>Handle corner case: protocol/class variable/descriptor (Ivan
Levkivskyi, PR <a
href="https://redirect.github.com/python/mypy/pull/19277">19277</a>)</li>
<li>Fix a few inconsistencies in protocol/type object interactions (Ivan
Levkivskyi, PR <a
href="https://redirect.... (continued)

1027 of 1414 relevant lines covered (72.63%)

0.73 hits per line

Source Files on job 16477331175.1
  • Tree
  • List 24
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 16477331175
  • 408cff4a on github
  • Prev Job for on master (#16477301910.1)
  • Next Job for on master (#16477359641.1)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc