Merge remote-tracking branch 'origin/master' into mypy

Author: basnijholt

.github/workflows/typeguard.yml

@@ -4,7 +4,7 @@ on:
   - push
 
 jobs:
-  coverage:
+  typeguard:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1