Documentation

export statistics from `ExecutionTimer` class to JSON file #11270

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate documentation	31s
Generate API documentation	22s
	53s