eclipse-kura / kura

Eclipse Kura™ is a versatile framework to supercharge your edge devices, streamlining the process of configuring your gateway, connecting sensors, and IoT devices to seamlessly collect, process, and send data to the cloud.
https://eclipse.dev/kura/
Eclipse Public License 2.0
498 stars 305 forks source link

ci: update `mkdocs` versions [backport docs-release-5.4] #5211

Closed github-actions[bot] closed 5 months ago

github-actions[bot] commented 5 months ago

Backport 2c8ddc7ffc60d5263f9e6f51ca7096916a214981 from #5206.