ci: update token for pushing generated changes in CI workflow

[paul58914080]

Checklist:

• My code follows the contribution guidelines of this project
• I have performed a self-review of my own code
• My changes generate no new warnings
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes
• My commits follow conventional commit message guidelines

[Copilot]

Pull Request Overview

This PR updates the CI workflow to use a Personal Access Token (PAT) instead of the default GitHub token for pushing generated changes back to the repository.

• Replaces GITHUB_TOKEN with PAT_TOKEN in the environment variables
• Updates the git push command to use the new PAT token for authentication