Skip to content

skip codecov upload on Dependabot PRs#272

Merged
yebai merged 1 commit into
TuringLang:mainfrom
shravangoswami-bot:patch-codecov-dependabot
Jun 12, 2026
Merged

skip codecov upload on Dependabot PRs#272
yebai merged 1 commit into
TuringLang:mainfrom
shravangoswami-bot:patch-codecov-dependabot

Conversation

@shravangoswami-bot

Copy link
Copy Markdown
Contributor

Dependabot PRs run in a sandboxed environment without access to repository secrets, so CODECOV_TOKEN is unavailable and the codecov upload fails with:

Upload queued for processing failed: {"message":"Token required because branch is protected"}

This adds if: github.actor != 'dependabot[bot]' to each codecov/codecov-action step so the upload is skipped for Dependabot PRs. No coverage changes are expected from dependency bumps, so this is safe.

Automated by dependabot-config-bot.

@yebai yebai merged commit 9ed3c9a into TuringLang:main Jun 12, 2026
13 of 16 checks passed
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.

2 participants