Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/gh-pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ jobs:
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install mkdocs-material mkdocstrings[python] mkdocs-git-revision-date-localized-plugin mkdocs-plugin-tags mike
pip install Markdown==3.10 Jinja2==3.1.6 pymdown-extensions==10.18 mkdocs==1.6.1 mkdocstrings==1.0.0 mkdocstrings-python==2.0.1 mike=2.1.3 mkdocs-autorefs==1.4.3 mkdocs-material==8.2.7 mkdocs-git-revision-date-localized-plugin==1.5.0 mkdocs-plugin-tags==1.0.2

Copilot AI Dec 8, 2025

Copy link

Choose a reason for hiding this comment

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

Incorrect version specifier syntax for mike. The package uses mike=2.1.3 (single equals sign) instead of mike==2.1.3 (double equals sign). This will cause a syntax error when pip tries to install the dependencies.

Change mike=2.1.3 to mike==2.1.3 to match the correct pip version specifier format used for all other packages.

Suggested change
pip install Markdown==3.10 Jinja2==3.1.6 pymdown-extensions==10.18 mkdocs==1.6.1 mkdocstrings==1.0.0 mkdocstrings-python==2.0.1 mike=2.1.3 mkdocs-autorefs==1.4.3 mkdocs-material==8.2.7 mkdocs-git-revision-date-localized-plugin==1.5.0 mkdocs-plugin-tags==1.0.2
pip install Markdown==3.10 Jinja2==3.1.6 pymdown-extensions==10.18 mkdocs==1.6.1 mkdocstrings==1.0.0 mkdocstrings-python==2.0.1 mike==2.1.3 mkdocs-autorefs==1.4.3 mkdocs-material==8.2.7 mkdocs-git-revision-date-localized-plugin==1.5.0 mkdocs-plugin-tags==1.0.2

Copilot uses AI. Check for mistakes.
Comment thread
bolak92 marked this conversation as resolved.
Outdated
- name: Build site
run: mkdocs build --strict
- name: Upload artifact
Expand Down
Loading