Update mcr.microsoft.com/devcontainers/python Docker tag to v3.13 #442

Pull request #442 has been dequeued

Pull request #442 has been dequeued. The pull request has been synchronized by a user

Required conditions for merge:

any of [🛡 GitHub branch protection]:
- check-success = CI Workflow - Success
- check-neutral = CI Workflow - Success
- check-skipped = CI Workflow - Success
any of [🛡 GitHub branch protection]:
- check-success = DCO
- check-neutral = DCO
- check-skipped = DCO

Check-runs and statuses of the embarked pull request #442:

		Build (and push) container image	details
		Build devcontainer image	details
		CI Workflow - Success	details
		DCO — DCO	details
		Pre-commit checks	details
		Tests	details