Bump mypy from 1.11.2 to 1.13.0 in /shared_aws/aws_infra #2098

Job	Run time
define container image build context variables	1s
api update and upload dependency lock file	37s
webui update and upload dependency lock file	23s
pipeline/seq_retrieval update and upload dependency lock file	22s
shared_aws py-package update and upload dependency lock file	32s
report-no-deps-lock-updates-label	0s
pipeline/alignment container-image build	59s
pipeline/seq_retrieval container-image build	1m 27s
pipeline/seq_retrieval code checks	34s
webUI container-image build	1m 50s
webUI code checks	47s
shared_aws py-package code checks	49s
API container-image build	1m 7s
API code checks	25s
pipeline/alignment unit testing	15s
API unit and integration testing	1m 28s
pipeline/workflow integration testing	4m 11s
API container integration testing (AWS batch execution)	7m 11s
end-to-end testing	4m 7s
shared_aws python package build	11s
api/aws_infra update and upload dependency lock file	35s
shared_aws aws_infra update and upload dependency lock file	34s
pipeline/aws_infra update and upload dependency lock file	36s
webui/aws_infra update and upload dependency lock file	36s
shared_aws infra code checks	1m 2s
api/aws_infra code checks	1m 14s
pipeline/aws_infra code checks	59s
webui/aws_infra code checks	1m 35s
stage-deps-lock-updates	10s
	34m 37s

Provide feedback