Bump pre-commit from 4.0.0 to 4.0.1 in /.github/workflows

Bump pre-commit from 4.0.0 to 4.0.1 in /.github/workflows #1209