Skip to content

Remove duplicated navigation_with_keys in docs config #10148

Remove duplicated navigation_with_keys in docs config

Remove duplicated navigation_with_keys in docs config #10148

Triggered via pull request October 29, 2023 08:52
Status Success
Total duration 3m 22s
Artifacts

ci-additional.yaml

on: pull_request
detect ci trigger
5s
detect ci trigger
Matrix: Minimum Version Policy
Fit to window
Zoom out
Zoom in