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.

Sign up for GitHub

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

Jump to bottom

[cifuzz][sarif] Make directory before writing file #10673

Merged
merged 1 commit into from
Jul 10, 2023
Merged

[cifuzz][sarif] Make directory before writing file #10673

merged 1 commit into from
Jul 10, 2023

Conversation

jonathanmetzman
Copy link
Contributor

No description provided.

@jonathanmetzman jonathanmetzman mentioned this pull request Jul 9, 2023
Merged
@jonathanmetzman
Copy link
Contributor Author

/gcbrun skip

oliverchang
oliverchang approved these changes Jul 9, 2023
View reviewed changes
Copy link
Collaborator

@oliverchang oliverchang left a comment •
edited
Loading

Choose a reason for hiding this comment

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

Could you include more context in the PR description?

@jonathanmetzman jonathanmetzman changed the title Fix sarif issue [cifuzz][sarif] Make directory before writing file Jul 10, 2023
@jonathanmetzman jonathanmetzman merged commit 3162163 into master Jul 10, 2023
19 checks passed
@jonathanmetzman jonathanmetzman deleted the sarif-fix branch July 10, 2023 14:26
@nokute78 nokute78 mentioned this pull request Jul 14, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oliverchang oliverchang oliverchang approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jonathanmetzman @oliverchang