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

[pyre] script to convert output to SARIF #427

Closed
wants to merge 1 commit into from
Closed

[pyre] script to convert output to SARIF #427

wants to merge 1 commit into from

Conversation

dkgi
Copy link
Contributor

@dkgi dkgi commented May 20, 2021

No description provided.

client/pyre.py Outdated
@@ -37,6 +37,14 @@
LOG: logging.Logger = logging.getLogger(__name__)


def one() -> int:
Copy link
Contributor

Choose a reason for hiding this comment

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

testing leftovers?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Yeah, it's still not working. I'm trying to get results to show up in this PR.

@dkgi dkgi force-pushed the sarif branch 12 times, most recently from 1cc3b75 to f6b546f Compare May 21, 2021 02:43
@facebook-github-bot
Copy link
Contributor

@dkgi has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@facebook-github-bot
Copy link
Contributor

@dkgi has updated the pull request. You must reimport the pull request before landing.

@facebook-github-bot
Copy link
Contributor

@dkgi has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@facebook-github-bot
Copy link
Contributor

@dkgi merged this pull request in 6dcd8a5.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants