Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Guidance completion: DS126858 #569

Merged
merged 1 commit into from
Jul 24, 2023
Merged

Conversation

injcristianrojas
Copy link
Contributor

No description provided.

@gfs
Copy link
Contributor

gfs commented Jul 24, 2023

/azp run

@azure-pipelines
Copy link

No commit pushedDate could be found for PR 569 in repo microsoft/DevSkim

Copy link
Contributor

@gfs gfs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks for the contribution!

@gfs
Copy link
Contributor

gfs commented Jul 24, 2023

Seems to be an issue with getting the pipelines to run on this PR. @daalcant

@daalcant
Copy link
Contributor

daalcant commented Jul 24, 2023

Kicked off a manual run. I wrote down the error so feel free to merge this when ready. I'll investigate the issue separately.

@gfs gfs merged commit bfae7d8 into microsoft:main Jul 24, 2023
9 checks passed
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.

None yet

3 participants