Skip to content
Back to pull request #1247

odoc_index: Replace -P/-L with --root arguments #2588

Sign in to view logs

odoc_index: Replace -P/-L with --root arguments

odoc_index: Replace -P/-L with --root arguments #2588

build (ubuntu-latest, 4.06)

build (ubuntu-latest, 4.06)
succeeded Nov 21, 2024 in 5m 37s