Skip to content

Warn users when attempting to build esp-hal using the dev profile#1420

Merged
jessebraham merged 2 commits intoesp-rs:mainfrom
jessebraham:feature/dev-warning
Apr 11, 2024
Merged

Warn users when attempting to build esp-hal using the dev profile#1420
jessebraham merged 2 commits intoesp-rs:mainfrom
jessebraham:feature/dev-warning

Conversation

@jessebraham
Copy link
Copy Markdown
Member

@jessebraham jessebraham commented Apr 10, 2024

Happy to hear any input with regards to wording here, but I think this should be adequate.

Closes #1261, however we should open tracking issues for any other repos which still need updating.

Copy link
Copy Markdown
Member

@SergioGasquez SergioGasquez left a comment

Choose a reason for hiding this comment

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

Changes LGTM! Shall we close #1261 with this PR or shall we leave it open until it's properly documented in other places?

Copy link
Copy Markdown
Contributor

@JurajSadel JurajSadel left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

@jessebraham jessebraham enabled auto-merge April 11, 2024 13:02
@jessebraham
Copy link
Copy Markdown
Member Author

Changes LGTM! Shall we close #1261 with this PR or shall we leave it open until it's properly documented in other places?

Those other places have nothing to do with this repository so I don't see any reason to keep it open.

@jessebraham jessebraham added this pull request to the merge queue Apr 11, 2024
Merged via the queue into esp-rs:main with commit dfc6d86 Apr 11, 2024
@jessebraham jessebraham deleted the feature/dev-warning branch April 11, 2024 13:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Be explicit about the need to build using the release profile

3 participants