Use github merge-results
command for merging SARIF files
#2199
+463
−8
github merge-results
command for merging SARIF files
#2199