Skip to content
Build

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

Sign in to view logs

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

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

build (macos-latest, 5.2)

build (macos-latest, 5.2)
succeeded Nov 15, 2024 in 3m 31s