Skip to content

Make default diff mode --git when using no arguments #3153

Make default diff mode --git when using no arguments

Make default diff mode --git when using no arguments #3153

Triggered via pull request July 13, 2023 18:01
Status Success
Total duration 12m 4s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Documentation Build
1m 10s
Documentation Build
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
built-docs Expired
12.9 MB