Check Python

Merge pull request #757 from arduino/dependabot/pip/mike-2.1.3 #1152

Sign in to view logs

Summary
Jobs
- lint
- formatting
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	19s
lint	18s
	37s