Add an option to disable GitHub annotations (createGitHubAnnotations
)#45
Merged
adangel merged 1 commit intopmd:mainfrom smetanink:mainJan 31, 2022
+14-4
Commits
Commits on Jan 28, 2022
- committedKonstantin Smetanin
createGitHubAnnotations
)#45