Remove an unneeded `# type: ignore` comment #382

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Docker Hub / Release	1m 13s
Staging / Deploy	3m 54s
Staging (Edu) / Deploy	3m 54s
Production (Edu) / Deploy	1s
Production / Deploy	1s
	9m 3s