Skip to content

Make maximum depth configurable via CLI option #1002

Make maximum depth configurable via CLI option

Make maximum depth configurable via CLI option #1002

Triggered via pull request November 25, 2024 13:39
Status Success
Total duration 1m 22s
Artifacts

decnum.yml

on: pull_request
Fit to window
Zoom out
Zoom in