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

not run typecheck action on tag push

8e6b07d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs