Skip to content

Weditor#23

Merged
thomasjm merged 8 commits intomainfrom
weditor
Feb 6, 2026
Merged

Weditor#23
thomasjm merged 8 commits intomainfrom
weditor

Conversation

@thomasjm
Copy link
Contributor

@thomasjm thomasjm commented Feb 6, 2026

  • Improved editor for comment boxes
  • Improved UI for commenting modals
  • Improve workflow health check thread

@thomasjm thomasjm merged commit f840f85 into main Feb 6, 2026
2 checks passed
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.

1 participant