Fix PIO CI Builds#70
Merged
faustbrian merged 1 commit intoArkEcosystemArchive:masterfrom Feb 19, 2019
Merged
Conversation
|
@ciband Thanks for submitting this pull request, a maintainer will get back to you shortly! |
|
@air1one @faustbrian - please review this in the next few days. Be sure to explicitly select labels so I know what's going on. If no reviewer appears after a week, a reminder will be sent out. |
|
@ciband Your pull request doesn't follow our contribution guidelines. Please review and correct it. |
faustbrian
approved these changes
Feb 19, 2019
|
@ciband A contributor has approved this PR. A maintainer will merge this PR shortly. If it shouldn't be merged yet, please leave a comment saying so and we'll wait. Thank you for your contribution! |
|
@ciband Your pull request has been merged and marked as tier 5. It will earn you $5 USD. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Proposed changes
This change fixes the currently broken PIO CI builds by correcting the submodules ignore paths in the PIO INI file.
Types of changes
Checklist
Further comments
N/A