Skip to content

Conversation

mcmchris
Copy link
Collaborator

@mcmchris mcmchris commented May 7, 2025

What This PR Changes

  • Download button added to IDE installation tutorial

Contribution Guidelines

@mcmchris mcmchris self-assigned this May 7, 2025
@mcmchris mcmchris requested a review from pedromsousalima May 8, 2025 14:08
Copy link
Contributor

@pedromsousalima pedromsousalima left a comment

Choose a reason for hiding this comment

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

Looks good!

@mcmchris
Copy link
Collaborator Author

mcmchris commented May 8, 2025

Merging

@mcmchris mcmchris merged commit 8649f86 into main May 8, 2025
4 checks passed
@mcmchris mcmchris deleted the mcmchris/IDE/download-button branch May 8, 2025 14:13
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.

2 participants