Skip to content

server/simple: move deploy script to Dart, big cleanup to demo#246

Merged
kevmoo merged 3 commits into
mainfrom
dart_script
May 15, 2026
Merged

server/simple: move deploy script to Dart, big cleanup to demo#246
kevmoo merged 3 commits into
mainfrom
dart_script

Conversation

@kevmoo

@kevmoo kevmoo commented May 15, 2026

Copy link
Copy Markdown
Member
  • So our Windows friends can try it out!
  • A LOT of cleanup to the simple demo to make it prettier

So our Windows friends can try it out!
@kevmoo kevmoo requested a review from parlough May 15, 2026 17:17
@kevmoo kevmoo changed the title server/simple: move deploy script to Dart server/simple: move deploy script to Dart, big cleanup to demo May 15, 2026
@kevmoo kevmoo requested a review from johnpryan May 15, 2026 18:08
@kevmoo

kevmoo commented May 15, 2026

Copy link
Copy Markdown
Member Author
image

Comment thread server/simple/public/style.css Outdated
Comment thread server/simple/tool/deploy_source.dart
Comment thread server/simple/tool/deploy_source.dart Outdated
@kevmoo kevmoo merged commit a3e417c into main May 15, 2026
24 checks passed
@kevmoo kevmoo deleted the dart_script branch May 15, 2026 19:58
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