Skip to content

update precommit configuration file#1488

Merged
shahzebsiddiqui merged 1 commit intodevelfrom
update_precommit_configuration
May 30, 2023
Merged

update precommit configuration file#1488
shahzebsiddiqui merged 1 commit intodevelfrom
update_precommit_configuration

Conversation

@shahzebsiddiqui
Copy link
Member

No description provided.

@shahzebsiddiqui shahzebsiddiqui merged commit 46df83e into devel May 30, 2023
@shahzebsiddiqui shahzebsiddiqui deleted the update_precommit_configuration branch May 30, 2023 18:29
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