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

Create codeql-analysis.yml #10285

Merged
merged 2 commits into from
Jun 17, 2020
Merged

Create codeql-analysis.yml #10285

merged 2 commits into from
Jun 17, 2020

Conversation

aaomidi
Copy link
Contributor

@aaomidi aaomidi commented May 6, 2020

Lets test this out

@coveralls
Copy link

coveralls commented May 6, 2020

Coverage Status

Coverage decreased (-0.003%) to 35.024% when pulling 1281dc2 on amir/codeql into fb4e400 on main.

Copy link
Contributor

@anthonydresser anthonydresser left a comment

Choose a reason for hiding this comment

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

this is already being worked on. #10195

@adsbot adsbot bot added the Stale PR label May 19, 2020
@kburtram kburtram changed the base branch from master to main June 15, 2020 06:22
@adsbot adsbot bot removed the Stale PR label Jun 15, 2020
@aaomidi
Copy link
Contributor Author

aaomidi commented Jun 17, 2020

@anthonydresser this one is ready to be merged in, let me know what you want to do. They had a bug on their side that got resolved.

@anthonydresser
Copy link
Contributor

Lets just merge #10195 instead, since that was created by the codeql team.

@aaomidi aaomidi closed this Jun 17, 2020
@aaomidi aaomidi deleted the amir/codeql branch June 17, 2020 20:12
@aaomidi aaomidi restored the amir/codeql branch June 17, 2020 20:40
@aaomidi aaomidi reopened this Jun 17, 2020
@aaomidi
Copy link
Contributor Author

aaomidi commented Jun 17, 2020

Going to merge this one instead since the other one was going for microsoft:master, and I don't seem to be able to redo the PR.

@aaomidi aaomidi merged commit 11e4627 into main Jun 17, 2020
@aaomidi aaomidi deleted the amir/codeql branch June 17, 2020 20:41
ktech99 pushed a commit that referenced this pull request Aug 23, 2020
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.

3 participants