Skip to content

repo: add a workaround for merging repo views with Google's index #10983

repo: add a workaround for merging repo views with Google's index

repo: add a workaround for merging repo views with Google's index #10983

Triggered via pull request May 12, 2024 00:03
Status Success
Total duration 8m 24s
Artifacts

build.yml

on: pull_request
Check protos
48s
Check protos
Check formatting
13s
Check formatting
Check that MkDocs can build the docs
24s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
41s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 25s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in