Upgraded version `actions/checkout` for GitHub actions.