Switch to "actions/checkout@v4" for github actions.

Switch to "actions/checkout@v4" for github actions. #8