Skip to content
CI

Merge pull request #401: Use :option: directive in --directory help text #1518

Sign in to view logs

Merge pull request #401: Use :option: directive in --directory help text

Merge pull request #401: Use :option: directive in --directory help text #1518

test-standalone (os=ubuntu-22.04, target=x86_64-unknown-linux-gnu)

test-standalone (os=ubuntu-22.04, target=x86_64-unknown-linux-gnu)
succeeded Oct 3, 2024 in 6m 33s