Skip to content

fix(workflow): Fixed indentation#639

Merged
Harxhit merged 1 commit into
Dev-Card:mainfrom
Harxhit:fix/leaderboard-workflow
Jun 23, 2026
Merged

fix(workflow): Fixed indentation#639
Harxhit merged 1 commit into
Dev-Card:mainfrom
Harxhit:fix/leaderboard-workflow

Conversation

@Harxhit

@Harxhit Harxhit commented Jun 23, 2026

Copy link
Copy Markdown
Collaborator

Summary

Fixes the GitHub Actions leaderboard workflow by correcting YAML indentation and workflow structure. The workflow was failing validation and could not be loaded by GitHub Actions due to improperly nested keys under on, permissions, and jobs. This change restores a valid workflow configuration, allowing scheduled and manual leaderboard updates to run successfully.

@vercel

vercel Bot commented Jun 23, 2026

Copy link
Copy Markdown

@Harxhit is attempting to deploy a commit to the Prashantkumar Khatri's projects Team on Vercel.

A member of the Team first needs to authorize it.

@github-actions github-actions Bot added devops gssoc:approved Required label for every approved PR. Gives the base +50 points and enables contribution tracking. labels Jun 23, 2026
@github-actions

Copy link
Copy Markdown

Hi @Harxhit,

Thanks for opening this pull request.

This PR has been automatically classified based on the files modified.

Applied Labels

  • gssoc:approved
  • devops

Primary Review Area

  • devops

Reviewer

@ShantKhatri has been identified as the primary reviewer for this pull request.

If you have any questions regarding the affected area or implementation details, feel free to reach out to the assigned reviewer.

Thank you for your contribution!

@Harxhit Harxhit requested a review from ShantKhatri June 23, 2026 07:27
@github-actions

Copy link
Copy Markdown

CI — All Checks Passed

Backend — SKIP

Check Result
Lint -
Test -
Typecheck -

Mobile — SKIP

Check Result
Lint -
Test -

Web — SKIP

Check Result
Build -

Last updated: Tue, 23 Jun 2026 07:27:13 GMT

@Harxhit

Harxhit commented Jun 23, 2026

Copy link
Copy Markdown
Collaborator Author

@ShantKhatri Could you please approve this.

@Harxhit Harxhit merged commit a198e92 into Dev-Card:main Jun 23, 2026
7 of 8 checks passed
@Harxhit Harxhit added level:intermediate Moderate difficulty contribution requiring some project understanding. (+35 pts) quality:clean PR is well-structured, readable, and follows good practices. (×1.2 multiplier) type:devops CI/CD, infra, deployment, workflow work (+15 pts) type:bug Bug fixes (+10 pts) labels Jun 23, 2026
ShantKhatri pushed a commit to ShantKhatri/DevCard that referenced this pull request Jun 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

devops gssoc:approved Required label for every approved PR. Gives the base +50 points and enables contribution tracking. level:intermediate Moderate difficulty contribution requiring some project understanding. (+35 pts) quality:clean PR is well-structured, readable, and follows good practices. (×1.2 multiplier) type:bug Bug fixes (+10 pts) type:devops CI/CD, infra, deployment, workflow work (+15 pts)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants