Skip to content

Revert "examples: only whitelist a few essential boards (dirty hack)"#7987

Merged
kaspar030 merged 1 commit intomasterfrom
revert-7953-examples/fix/dirty-hack-to-javascript
Nov 9, 2017
Merged

Revert "examples: only whitelist a few essential boards (dirty hack)"#7987
kaspar030 merged 1 commit intomasterfrom
revert-7953-examples/fix/dirty-hack-to-javascript

Conversation

@miri64
Copy link
Copy Markdown
Member

@miri64 miri64 commented Nov 9, 2017

Reverts #7953.

The problem that caused that PR is resolved.

@miri64 miri64 added Area: CI Area: Continuous Integration of RIOT components CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Nov 9, 2017
Copy link
Copy Markdown
Contributor

@kaspar030 kaspar030 left a comment

Choose a reason for hiding this comment

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

ACK.

@kaspar030 kaspar030 merged commit 4374a71 into master Nov 9, 2017
@kaspar030 kaspar030 deleted the revert-7953-examples/fix/dirty-hack-to-javascript branch November 9, 2017 18:45
@aabadie aabadie added this to the Release 2018.01 milestone Jan 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: CI Area: Continuous Integration of RIOT components CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants