Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

[skip changelog] Document platform post-install script in platform specification #942

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

Merged
per1234 merged 1 commit into arduino:master from per1234:document-post-install-script
Sep 11, 2020
Merged

[skip changelog] Document platform post-install script in platform specification #942

per1234 merged 1 commit into arduino:master from per1234:document-post-install-script
Sep 11, 2020

Conversation

Copy link
Contributor

@per1234 per1234 commented Sep 10, 2020

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests
    before creating one)
  • The PR follows
    our contributing guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • What kind of change does this PR introduce?

Docs update

  • What is the current behavior?

The platform post-install script is undocumented. This feature has recently been made available to 3rd party platforms, so documenting it becomes even more important.

  • What is the new behavior?

The platform post-install script is documented

  • Does this PR introduce a breaking change?

No

  • Other information:

References:

...ecification
This feature has recently become available for the use by 3rd party platform developers, so documenting it becomes even more important.
@per1234 per1234 added the topic: documentation Related to documentation for the project label Sep 10, 2020
@per1234 per1234 merged commit 0bf48ae into arduino:master Sep 11, 2020
@per1234 per1234 self-assigned this Nov 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
1 more reviewer

@rsora rsora rsora approved these changes

Reviewers whose approvals may not affect merge requirements
Labels
topic: documentation Related to documentation for the project
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

2 participants

AltStyle によって変換されたページ (->オリジナル) /