benchmarks

Allow benchmarking just one particular compilation/instantiation/execution phase #528

Sign in to view logs

Summary
Jobs
- rebuild
- run
- check
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	7s
check	7s
rebuild	8m 14s
rebuild	8m 14s
run	3m 25s
run	5m 38s
	25m 45s