Merge branch '20231007/rafaelromao/main' into 20231007/urob/improve-c… #64

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	32s
typecheck	1m 31s
	2m 3s