mirror of
https://github.com/XuehaiPan/nvitop.git
synced 2026-05-15 06:06:12 -06:00
[PR #73] [MERGED] feat(linter): mypy integration #149
Labels
No labels
api
bug
bug
cli / tui
dependencies
documentation
documentation
documentation
duplicate
enhancement
exporter
invalid
pull-request
pynvml
question
question
upstream
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/nvitop#149
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/XuehaiPan/nvitop/pull/73
Author: @XuehaiPan
Created: 4/30/2023
Status: ✅ Merged
Merged: 5/1/2023
Merged by: @XuehaiPan
Base:
main← Head:mypy📝 Commits (5)
4bb3da7feat(linter):mypyintegrationafd9ba2docs: add notes to setCUDA_DEVICE_ORDER="PCI_BUS_ID"6697d54docs(CHANGELOG): update CHANGELOG.mdc730af2chore(api/device): update type annotations00ab574chore(api): update type annotations📊 Changes
22 files changed (+640 additions, -355 deletions)
View changed files
📝
.flake8(+1 -0)📝
.github/workflows/build.yaml(+1 -1)📝
.github/workflows/lint.yaml(+1 -1)📝
.pre-commit-config.yaml(+13 -5)📝
CHANGELOG.md(+2 -2)📝
README.md(+3 -0)📝
docs/source/spelling_wordlist.txt(+1 -0)📝
nvitop/api/collector.py(+76 -65)📝
nvitop/api/device.py(+134 -83)📝
nvitop/api/host.py(+12 -4)📝
nvitop/api/libcuda.py(+41 -18)📝
nvitop/api/libcudart.py(+29 -9)📝
nvitop/api/libnvml.py(+80 -42)📝
nvitop/api/process.py(+33 -18)📝
nvitop/api/utils.py(+50 -33)📝
nvitop/callbacks/keras.py(+1 -2)📝
nvitop/callbacks/pytorch_lightning.py(+1 -2)📝
nvitop/cli.py(+25 -18)📝
nvitop/gui/library/device.py(+2 -2)📝
nvitop/select.py(+106 -49)...and 2 more files
📄 Description
Issue Type
Description
Add
mypyintegration and update type annotations fornvitop.api.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.
windows-curses#177