diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2021-02-21 14:44:01 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2021-02-21 15:19:03 -0500 |
commit | 8286807af35162ee9bbae33c3165a93d34e455ac (patch) | |
tree | fafbc2be3f89fb7567f6933602e14c103bee90f9 | |
parent | 9d0ecedf25704f2e2a7e54271d66f7aab292b97e (diff) | |
download | python-coveragepy-git-8286807af35162ee9bbae33c3165a93d34e455ac.tar.gz |
build: pin astroid since pylint doesn't
Without this pin, pylint runs can change over time as astroid changes.
-rw-r--r-- | requirements/dev.pip | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/requirements/dev.pip b/requirements/dev.pip index 321dd156..608df1cf 100644 --- a/requirements/dev.pip +++ b/requirements/dev.pip @@ -14,6 +14,7 @@ pluggy==0.13.1 # for linting. greenlet==0.4.16 +astroid==2.4.2 pylint==2.6.0 check-manifest==0.46 readme_renderer==26.0 |