Skip to content

Conversation

@mathusanm6
Copy link
Owner

No description provided.

@mathusanm6 mathusanm6 self-assigned this Aug 31, 2025
fix: error on push

docs: update problem count badges [skip ci]

fix: color

docs: update problem count badges [skip ci]
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR fixes a workflow that was failing when trying to push badge updates to the main branch. The fix involves changing the trigger from push events to pull request events and updating the git push logic to target the correct branch.

  • Changed workflow trigger from push to pull_request events
  • Updated git push command to use dynamic branch naming instead of assuming main branch
  • Modified Python badge color from green to blue for consistency

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File Description
.github/workflows/update-badges.yml Updates workflow trigger and implements dynamic branch pushing
scripts/update_badges.py Changes Python badge color from green to blue

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@github-actions github-actions bot added size/S and removed size/S labels Aug 31, 2025
@mathusanm6 mathusanm6 merged commit a835dd9 into main Aug 31, 2025
3 checks passed
@mathusanm6 mathusanm6 deleted the fix-update-badges branch August 31, 2025 09:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant