Skip to content

Adding DevSkim linter to Github actions#1

Merged
jainr merged 1 commit intomainfrom
rijai/devskim
Sep 9, 2022
Merged

Adding DevSkim linter to Github actions#1
jainr merged 1 commit intomainfrom
rijai/devskim

Conversation

@jainr
Copy link
Owner

@jainr jainr commented Sep 9, 2022

Description

Resolves #XXX

How was this PR tested?

Does this PR introduce any user-facing changes?

  • No. You can skip the rest of this section.
  • Yes. Make sure to clarify your proposed changes.

@jainr jainr closed this Sep 9, 2022
@jainr jainr reopened this Sep 9, 2022
@jainr jainr merged commit 1c8c13d into main Sep 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant