Skip to content

Conversation

ndonkoHenri
Copy link
Contributor

@ndonkoHenri ndonkoHenri requested a review from Copilot July 27, 2025 19:56
Copy link

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR fixes a failing MkDocs build by updating documentation configuration, dependencies, and code documentation formatting. The changes address issues with MkDocs plugins, dependency versions, and documentation string formatting that were causing the build to fail.

Key changes include:

  • Updated MkDocs configuration with proper plugin versions and settings
  • Reformatted documentation strings to improve line length and readability
  • Updated dependency specifications with version constraints

Reviewed Changes

Copilot reviewed 11 out of 12 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
src/flutter/flet_permission_handler/pubspec.yaml Updated flutter_lints dependency to version 3.0.0
src/flet_permission_handler/types.py Reformatted docstrings for better line wrapping and fixed import order
src/flet_permission_handler/permission_handler.py Improved docstring formatting and method call formatting
src/flet_permission_handler/init.py Added all export list for better module interface
pyproject.toml Reorganized dependency groups and added version constraints
mkdocs.yml Updated MkDocs configuration with proper plugin settings and inventory URLs
docs/types/permission_status.md Added separate_signature configuration option
docs/types/permission.md Added separate_signature configuration option
docs/index.md Fixed broken cross-reference links
.pre-commit-config.yaml Updated pre-commit hooks to use ruff instead of isort/black
.github/workflows/docs.yml Added additional branches and dependency groups for docs workflow

@FeodorFitsner FeodorFitsner merged commit 23ce2b7 into main Jul 27, 2025
3 checks passed
@FeodorFitsner FeodorFitsner deleted the fix-docs branch July 27, 2025 20:42
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