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