devops: make dev explicitly uses the port the pnpm expects (fix #6565)

[yairchu]

📝 Summary

Makes make dev fail explicitly when marimo can't get the port pnpm expects it to use, instead of telling the user to open a http://localhost:3000 address that doesn't work.

🔍 Description of Changes

Added --port 2718 to the command marimo in make dev

📋 Checklist

• I have read the contributor guidelines.
• I have added tests for the changes made.
  • I tested this manually, and am not sure if any other test is needed for such a micro change
• I have run the code and verified that it works as expected.

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Preview	Comments	Updated (UTC)
marimo-docs	Ready	Preview	Comment	Sep 29, 2025 5:43am