CI

Merge pull request #132 from angelcaru/mypy-2 #26

Sign in to view logs

Summary
Jobs
- everything
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
everything	13s
	13s