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

[5/?] Add ability to run code examples in the playground: Run code samples inline #543

Closed
wants to merge 37 commits into from

Conversation

shaedrich
Copy link
Collaborator

@shaedrich shaedrich commented Apr 30, 2024

See #340

As discussed in #205

Warning

Will only work, after #544 and #542 have been merged. Works in combination with ponylang/pony-playground#212. Contains changes from #544 until db1eb11

shaedrich and others added 29 commits April 21, 2024 05:35
to mark array entry as object rather than a string
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Apr 30, 2024
@shaedrich
Copy link
Collaborator Author

2024-04-30 22:41:26 [ERROR ] Found errors in [markdownlint] linter!
2024-04-30 22:41:26 [ERROR ] [/github/workspace/docs/getting-started/hello-world.md:23:1 MD042/no-empty-links No empty links [Context: "[:fontawesome-solid-play: Run ..."]]
2024-04-30 22:41:26 [ERROR ] Linter CMD:[markdownlint -c /github/workspace/.github/linters/.markdown-lint.yml /github/workspace/docs/getting-started/hello-world.md]

If that really is a problem, should I replace this with an HTML button?

> Processing: docs/getting-started/hello-world.md
Misspelled words:
<htmlcontent> docs/getting-started/hello-world.md: html>body>p
--------------------------------------------------------------------------------
fontawesome
--------------------------------------------------------------------------------

This is an icon. This should not be spellchecked.

@SeanTAllen
Copy link
Member

You can update the spelling list to add fontawesome to the list.

@SeanTAllen
Copy link
Member

SeanTAllen commented May 14, 2024

2024-04-30 22:41:26 [ERROR ] Found errors in [markdownlint] linter!
2024-04-30 22:41:26 [ERROR ] [/github/workspace/docs/getting-started/hello-world.md:23:1 MD042/no-empty-links No empty links [Context: "[:fontawesome-solid-play: Run ..."]]
2024-04-30 22:41:26 [ERROR ] Linter CMD:[markdownlint -c /github/workspace/.github/linters/.markdown-lint.yml /github/workspace/docs/getting-started/hello-world.md]

If that really is a problem, should I replace this with an HTML button?

I'd want to see what this does in terms of our htmlproofer that makes sure all the links are valid. This might blow that up. Not sure. We'd need to address that one way or another if it is an issue.

I can see locally the proofer is fine. In the markdownlint ignore, go ahead and add MD042 as an ignored rule.

Copy link

netlify bot commented May 14, 2024

👷 Deploy request for pony-tutorial pending review.

Visit the deploys page to approve it

Name Link
🔨 Latest commit 0bc061c

Co-authored-by: Sean T. Allen <[email protected]>

As suggested in ponylang#543 (comment)
@shaedrich shaedrich changed the title [4/?] Add ability to run code examples in the playground: Run code samples inline [5/?] Add ability to run code examples in the playground: Run code samples inline May 20, 2024
shaedrich added a commit that referenced this pull request Jun 5, 2024
@shaedrich
Copy link
Collaborator Author

Closed in favor of #554 (not a fork)

@shaedrich shaedrich closed this Jun 5, 2024
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Jun 5, 2024
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.

None yet

3 participants