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

Basic mypy typings #786

Merged
merged 22 commits into from Aug 14, 2022
Merged

Basic mypy typings #786

merged 22 commits into from Aug 14, 2022

Conversation

tony
Copy link
Member

@tony tony commented Jul 24, 2022

@codecov
Copy link

codecov bot commented Jul 24, 2022

Codecov Report

Merging #786 (f130e9b) into master (17caa0c) will not change coverage.
The diff coverage is 76.92%.

@@           Coverage Diff           @@
##           master     #786   +/-   ##
=======================================
  Coverage   75.19%   75.19%           
=======================================
  Files          18       18           
  Lines        1431     1431           
  Branches      337      337           
=======================================
  Hits         1076     1076           
  Misses        267      267           
  Partials       88       88           
Impacted Files Coverage Δ
tmuxp/cli/shell.py 88.57% <0.00%> (ø)
tmuxp/cli/freeze.py 71.83% <33.33%> (ø)
docs/conf.py 57.60% <100.00%> (+0.46%) ⬆️
tmuxp/conftest.py 86.58% <100.00%> (-0.17%) ⬇️
tmuxp/util.py 84.41% <100.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@tony tony force-pushed the mypy-annotations branch 2 times, most recently from b06f851 to 370f31a Compare August 6, 2022 14:35
@tony tony force-pushed the mypy-annotations branch 6 times, most recently from c7e5a3f to f8960b7 Compare August 14, 2022 08:41
@tony tony changed the title mypy annotations Basic mypy typings Aug 14, 2022
@tony tony merged commit 6cdfc72 into master Aug 14, 2022
@tony tony deleted the mypy-annotations branch August 14, 2022 09:08
@tony tony mentioned this pull request Dec 31, 2022
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.

None yet

1 participant