Skip to content

chore: not run lint on push onto main#700

Merged
dkhawk merged 1 commit intomainfrom
chore/lint_not_on_main_push
Apr 15, 2025
Merged

chore: not run lint on push onto main#700
dkhawk merged 1 commit intomainfrom
chore/lint_not_on_main_push

Commits

Commits on Apr 8, 2025