doc: domain.add() does not accept timer objects
#80145
linters.yml
on: pull_request
lint-addon-docs
48s
lint-cpp
1m 16s
format-cpp
1m 44s
lint-js-and-md
4m 4s
lint-nix
24s
lint-py
53s
lint-yaml
51s
lint-sh
25s
lint-codeowners
29s
lint-pr-url
26s
lint-readme
24s
Annotations
2 warnings
|
lint-pr-url:
doc/api/domain.md#L299
pr-url doesn't match the URL of the current PR.
|
|
lint-yaml:
./.github/workflows/test-shared.yml#L134
134:77 [comments] too few spaces before comment: expected 2
|