Bump actions/checkout from 4.1.2 to 4.1.3 in /.github/workflows

Bump actions/checkout from 4.1.2 to 4.1.3 in /.github/workflows #493