Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GitHub did not register this workflow as the one associated with the Code Scanning security feature. Therefore I have a separate PR microsoft#818 which established the workflow through the security menu. This workflow is identical to that one except for a syntax fix in the designation of which types of file updates do not trigger the workflow.
- Loading branch information