Skip to content

Don't build the extension in pre-commit environments#1226

Closed
mwouts wants to merge 1 commit intomainfrom no_extension_in_pre_commit_envs

Commits

Commits on Apr 27, 2024