type checking

Merge pull request #4762 from chrishavlin/extrema_w_nans #81

# to view logs

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

Run time

Learn about OS # on GitHub Actions

Job	Run time
type check	3m 51s
	3m 51s