GitHub Pages site update

Bump mypy from 1.12.0 to 1.12.1 in /requirements (#1089) #298

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	54s
	54s