Skip to content
Docs

Renamed history --output_file to --output-file to follow common command-line practices #344

Sign in to view logs

Renamed history --output_file to --output-file to follow common command-line practices

Renamed history --output_file to --output-file to follow common command-line practices #344

Triggered via pull request October 2, 2025 20:42
@kmvanbruntkmvanbrunt
opened #1527
flag_rename
Status Success
Total duration 26s
Artifacts –

docs.yml

on: pull_request
check-docs
22s
check-docs
Fit to window
Zoom out
Zoom in