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

ci: add esp8266 arduino cli configs back #161

Merged

Conversation

ciband
Copy link
Contributor

@ciband ciband commented Oct 30, 2019

Summary

With the recent support for esp8266 added back in, it would be nice to have that in the Arduino CLI CI tests.

Checklist

  • Documentation (if necessary)
  • Tests (if necessary)
  • Ready to be merged

@ghost
Copy link

ghost commented Oct 30, 2019

Thanks for submitting this pull request! A maintainer will review this in the next few days and explicitly select labels so you know what's going on.

If no reviewer appears after a week, a reminder will be sent out.

@ghost ghost added the Complexity: Low Less than 64 lines changed. label Oct 30, 2019
@ciband ciband changed the title ci: add esp8266 arduino cli configs back (WIP) ci: add esp8266 arduino cli configs back Oct 30, 2019
@ciband ciband changed the title (WIP) ci: add esp8266 arduino cli configs back ci: add esp8266 arduino cli configs back Oct 30, 2019
@ghost ghost added the Status: Member Approved The pull request has been approved by a member. label Oct 31, 2019
@ghost
Copy link

ghost commented Oct 31, 2019

A member 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!

@sleepdefic1t sleepdefic1t merged commit bc9af48 into ArkEcosystemArchive:develop Oct 31, 2019
@ghost
Copy link

ghost commented Oct 31, 2019

Your pull request has been merged but was not assigned a bounty tier. A maintainer will assign a bounty tier to this pull request in the next few days.

@faustbrian faustbrian added the Bounty: Tier 4 Awarded for small features, refactorings, improvements. This is valued at 20 USD. label Nov 1, 2019
@ghost
Copy link

ghost commented Nov 1, 2019

Your pull request has been merged and marked as tier 4. It will earn you $20 USD.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Bounty: Tier 4 Awarded for small features, refactorings, improvements. This is valued at 20 USD. Complexity: Low Less than 64 lines changed. Status: Member Approved The pull request has been approved by a member.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants