Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4, peaceiris/actions-gh-pages@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

duplicate label battery:kr6, other instance in /github/workspace/docs/battery.rst

duplicate label battery:lr23, other instance in /github/workspace/docs/battery.rst

image file not readable: doc/img/protege_config_contribute.png

image file not readable: doc/img/protege_config_contribute.png

document isn't included in any toctree

document isn't included in any toctree

document isn't included in any toctree

document isn't included in any toctree

document isn't included in any toctree