Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Github token #29

Merged
merged 1 commit into from
Feb 2, 2024
Merged

Github token #29

merged 1 commit into from
Feb 2, 2024

Conversation

dukris
Copy link
Collaborator

@dukris dukris commented Feb 2, 2024

PR-Codex overview

This PR focuses on fixing a typo in the GitHub token variable name and updating the GitHub token reference in the Codecov action.

Detailed summary

  • Fixed typo in the GitHub token variable name from ${{ secrets.TOKEN }} to ${{ secrets.GITHUB_TOKEN }}.
  • Updated the GitHub token reference in the Codecov action to ${{ secrets.CODECOV_TOKEN }}.

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

@dukris dukris merged commit 1efe52e into master Feb 2, 2024
6 checks passed
@dukris dukris deleted the token branch February 2, 2024 09:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant