Run benchmarks on push

Merge pull request #3584 from cringeyburger/issue-3361-improve-print_… #489

Sign in to view logs

Summary
Jobs
- benchmarks
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmarks	1h 20m 3s
	1h 20m 3s