Skip to content

Don't run typecheck github action on tags push - #3

Merged
mmalfertheiner merged 1 commit into
mainfrom
action-typecheck-ignore-tags
Aug 5, 2022
Merged

mmalfertheiner merged 1 commit into
mainfrom
action-typecheck-ignore-tags

Commits

Commits on Aug 5, 2022