Verify type-completeness

Bump piped from `44fca44` to `1bdcdb6` (#983) #1484

Sign in to view logs

Summary
Jobs
- verify-types
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-types	19s
	19s