Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve develop and serve #23990

Merged
merged 1 commit into from
Jan 31, 2025
Merged

Improve develop and serve #23990

merged 1 commit into from
Jan 31, 2025

Conversation

wendevlin
Copy link
Contributor

Proposed change

  • improve develop_and_serve script
    • use local serve package
    • don't clean urls (.html will stay)
    • use full cli options names

Type of change

  • Dependency upgrade
  • Bugfix (non-breaking change which fixes an issue)
  • New feature (thank you!)
  • Breaking change (fix/feature causing existing functionality to break)
  • Code quality improvements to existing code or addition of tests

Example configuration

Additional information

  • This PR fixes or closes issue: fixes #
  • This PR is related to issue or discussion:
  • Link to documentation pull request:

Checklist

  • The code change is tested and works locally.
  • There is no commented out code in this PR.
  • Tests have been added to verify that the new code works.

If user exposed functionality or configuration variables are added/changed:

@MindFreeze MindFreeze merged commit dae991d into dev Jan 31, 2025
16 checks passed
@MindFreeze MindFreeze deleted the fix-dev-and-serve branch January 31, 2025 13:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants