Skip to content
This repository was archived by the owner on Dec 8, 2025. It is now read-only.

Conversation

@pelikhan
Copy link
Member

@pelikhan pelikhan commented Jul 27, 2023

Support for remote workspace development:

  • compile/typecheck
  • connect via external web page
  • manual flash/clear instructions
  • logging

@pelikhan pelikhan requested a review from mmoskal July 27, 2023 10:14
@pelikhan pelikhan merged commit 9b8be19 into main Jul 27, 2023
@pelikhan pelikhan deleted the remote-connect branch July 27, 2023 12:41
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants