Add ratcheting type completeness check to CI#799

smheidrich wants to merge 1 commit intopython-rope:masterpython-rope/rope:masterfrom

smheidrich:rel-gh-798-add-type-completeness-check-to-cismheidrich/rope:rel-gh-798-add-type-completeness-check-to-ciCopy head branch name to clipboard