Skip to content

Update odoc integration for odoc 3#32

Draft
FardaleM wants to merge 1 commit into
masterfrom
odoc3
Draft

Update odoc integration for odoc 3#32
FardaleM wants to merge 1 commit into
masterfrom
odoc3

Update odoc integration to use new odoc.index API

08a6a93
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
build-native (macos-latest, 5.3)
failed Jun 5, 2026 in 8m 45s