Update actions/checkout in GitHub Actions to v4 (#49, thank @striezel)

Update actions/checkout in GitHub Actions to v4 (#49, thank @striezel) #23