Benchmarks CI

fixes #22836; Unnecessary warning on 'options.none' with 'strictDefs'… #2721

Sign in to view logs

Summary
Jobs
- ubuntu-20.04
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-20.04	10m 34s
	10m 34s