doc: add a smooth scrolling effect to the sidebar #81504
avivkellerlinters.yml
on: pull_request
lint-addon-docs
46s
lint-cpp
1m 37s
format-cpp
1m 39s
lint-js-and-md
5m 37s
lint-nix
25s
lint-py
24s
lint-yaml
32s
lint-sh
9s
lint-codeowners
26s
lint-pr-url
6s
lint-readme
6s