Skip to content

Update Selection Labels#21

Merged
AbrarNad merged 2 commits into
mainfrom
update-selection-labels
Aug 12, 2025
Merged

Update Selection Labels#21
AbrarNad merged 2 commits into
mainfrom
update-selection-labels

Conversation

@AbrarNad

Copy link
Copy Markdown
Member

Does this PR close any open issues?

Closes #

Give a longer description of what this PR addresses and why it's needed

Provide pictures/videos of the behavior before and after these changes (optional)

Have you added or updated relevant tests?

  • Yes
  • No changes are needed

Have you added or updated relevant documentation?

  • Yes
  • No changes are needed

Are there any additional TODOs before this PR is ready to go?

TODOs:

  • ...

@AbrarNad AbrarNad self-assigned this Aug 12, 2025
@AbrarNad
AbrarNad merged commit 22274c3 into main Aug 12, 2025
3 of 6 checks passed
@AbrarNad
AbrarNad deleted the update-selection-labels branch August 12, 2025 17:46
@github-actions

github-actions Bot commented Aug 12, 2025

Copy link
Copy Markdown

A preview of is uploaded and can be seen here:

https://revisit.dev/study/PR21

Changes may take a few minutes to propagate.

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