Skip to content

Add redirect to old cli location user-guide/cli.html --> user-guide/cli/index.html #1526

Add redirect to old cli location user-guide/cli.html --> user-guide/cli/index.html

Add redirect to old cli location user-guide/cli.html --> user-guide/cli/index.html #1526

Triggered via pull request April 23, 2024 00:34
Status Success
Total duration 10m 11s
Artifacts

docs_pr.yaml

on: pull_request
cargo doctest (amd64)
10m 2s
cargo doctest (amd64)
Fit to window
Zoom out
Zoom in