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

Potentially fix Submit OneFuzz CI Job #12489

Merged
1 commit merged into from
Feb 15, 2022

Conversation

ianjoneill
Copy link
Contributor

@ianjoneill ianjoneill commented Feb 14, 2022

Summary of the Pull Request

Modifies the OneFuzz CI Job so that it attempts to read the notification config from a file rather than the command line.

References

Potential oversight in #10431.

PR Checklist

  • CLA signed. If not, go over here and sign the CLA

Detailed Description of the Pull Request / Additional comments

Noticed that the CI job was failing on main, so took a look. According to the docs, files should be referenced using @./ notation.

Copy link
Member

@carlos-zamora carlos-zamora left a comment

Choose a reason for hiding this comment

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

Ah. Well... yeah that's my bad hahaha. Thanks!

@carlos-zamora
Copy link
Member

@msftbot merge this in 5 minutes

@ghost ghost added the AutoMerge Marked for automatic merge by the bot when requirements are met label Feb 15, 2022
@ghost
Copy link

ghost commented Feb 15, 2022

Hello @carlos-zamora!

Because you've given me some instructions on how to help merge this pull request, I'll be modifying my merge approach. Here's how I understand your requirements for merging this pull request:

  • I won't merge this pull request until after the UTC date Tue, 15 Feb 2022 18:20:45 GMT, which is in 5 minutes

If this doesn't seem right to you, you can tell me to cancel these instructions and use the auto-merge policy that has been configured for this repository. Try telling me "forget everything I just told you".

@ghost ghost merged commit 9fcf92b into microsoft:main Feb 15, 2022
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
AutoMerge Marked for automatic merge by the bot when requirements are met
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants