Skip to content
Back to pull request #15396

Merge docs/developers into docs/website/. #33030

Sign in to view logs

Merge docs/developers into docs/website/.

Merge docs/developers into docs/website/. #33030

Triggered via pull request November 2, 2023 22:38
@ScottToddScottTodd
opened #15396
ScottTodd:developer-docs-folder
Status Success
Total duration 26s
Artifacts –

lint.yml

on: pull_request
bazel_to_cmake
9s
bazel_to_cmake
buildifier
8s
buildifier
black
10s
black
pytype
16s
pytype
clang-format
6s
clang-format
tabs
5s
tabs
yamllint
8s
yamllint
markdownlint
8s
markdownlint
path_lengths
9s
path_lengths
generated_cmake_files
8s
generated_cmake_files
build_file_names
5s
build_file_names
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
black
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
pytype
The `python-version` input is not set. The version of Python currently in `PATH` will be used.