Run code check and tests

Merge pull request #104 from GabrielSalla/add-docs-missing-procedure #391

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build image	49s
Run mypy	51s
Run linter	20s
Run tests	1m 56s
Delete artifacts	3s
	3m 59s