Skip to content

fix: Rename variable card#703

Merged
koubaa merged 7 commits into
mainfrom
rename-variable-card
Feb 10, 2025
Merged

fix: Rename variable card#703
koubaa merged 7 commits into
mainfrom
rename-variable-card

Conversation

@koubaa

@koubaa koubaa commented Feb 10, 2025

Copy link
Copy Markdown
Collaborator

Towards #587

@koubaa
koubaa requested a review from a team as a code owner February 10, 2025 14:38
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label Feb 10, 2025
@github-actions github-actions Bot added the testing Anything related to testing label Feb 10, 2025
@koubaa koubaa changed the title Rename variable card fix: Rename variable card Feb 10, 2025
@koubaa
koubaa enabled auto-merge (squash) February 10, 2025 15:14
@koubaa
koubaa disabled auto-merge February 10, 2025 15:24
@koubaa
koubaa merged commit 8bec43e into main Feb 10, 2025
@koubaa
koubaa deleted the rename-variable-card branch February 10, 2025 15:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation testing Anything related to testing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants