Skip to content

[skip changelog] Document debug system in platform specification #882

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
merged 2 commits into from
Jul 31, 2020
Merged

[skip changelog] Document debug system in platform specification #882

merged 2 commits into from
Jul 31, 2020

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jul 30, 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 sketch debugging system for platforms is undocumented.

  • What is the new behavior?

The sketch debugging system is documented in the Arduino platform specification.

  • Does this PR introduce a breaking change?

No.

  • Other information:

References:

@per1234 per1234 added the topic: documentation Related to documentation for the project label Jul 30, 2020
@per1234 per1234 requested a review from rsora July 30, 2020 06:00
per1234 added 2 commits July 30, 2020 02:19
Either style of link works as well, but the path to the generated Markdown files is required for the proposed documentation link check, so this change is made in anticipation of that.
@per1234 per1234 merged commit ee5be70 into arduino:master Jul 31, 2020
@per1234 per1234 deleted the document-debug-system branch July 31, 2020 17:01
@per1234 per1234 self-assigned this Nov 23, 2021
@per1234 per1234 added the type: imperfection Perceived defect in any part of project label Feb 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project type: imperfection Perceived defect in any part of project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants