Pull Request Overview

This PR updates the documentation deployment process to use mike for versioned documentation management instead of the standard mkdocs gh-deploy command.

• Replaces mkdocs gh-deploy with mike deploy for version-aware documentation deployment
• Updates deployment condition to include push event check alongside main branch verification
• Implements automatic version extraction from git tags using semantic versioning pattern

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}