Bump mypy from 1.11.2 to 1.13.0 in /pipeline/aws_infra #2126

Job	Run time
api update and upload dependency lock file	35s
define container image build context variables	1s
pipeline/seq_retrieval update and upload dependency lock file	21s
shared_aws py-package update and upload dependency lock file	38s
webui update and upload dependency lock file	26s
report-no-deps-lock-updates-label	0s
pipeline/alignment container-image build	58s
pipeline/seq_retrieval container-image build	1m 33s
pipeline/seq_retrieval code checks	37s
API container-image build	1m 7s
API code checks	21s
webUI code checks	50s
webUI container-image build	1m 47s
shared_aws py-package code checks	52s
pipeline/alignment unit testing	13s
pipeline/workflow integration testing	3m 5s
API unit and integration testing	1m 6s
API container integration testing (AWS batch execution)	4m 32s
shared_aws python package build	15s
end-to-end testing	3m 5s
shared_aws aws_infra update and upload dependency lock file	33s
pipeline/aws_infra update and upload dependency lock file	32s
webui/aws_infra update and upload dependency lock file	38s
api/aws_infra update and upload dependency lock file	29s
api/aws_infra code checks	1m 35s
shared_aws infra code checks	1m 2s
pipeline/aws_infra code checks	56s
webui/aws_infra code checks	1m 24s
stage-deps-lock-updates	4s
	29m 35s

Provide feedback