Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
continuous-integration: rename mypy workflow from Continuous Integrat…
…ion to mypy to be in sync with the naming convention of other workflows jxnl#264.
- Loading branch information