Auto merge of #13102 - weihanglo:book-redirect, r=ehuss #9068

Sign in to view logs

Triggered via push December 2, 2023 18:10

bors

auto-cargo

Status Success

Total duration 26m 38s

Artifacts –

main.yml

on: push

Matrix: test

check-version-bump

bors build finished

bors build finished