Merge pull request #83 from tscircuit/pill-plated-holes #232

Sign in to view logs

Summary
Jobs
- format-check
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
format-check	16s
	16s