Skip to content

skip codecov upload on Dependabot PRs#188

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

skip codecov upload on Dependabot PRs#188
shravanngoswamii 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.

@shravanngoswamii shravanngoswamii merged commit ccffd72 into TuringLang:main Jun 11, 2026
11 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