Skip to content

Revert "Use new docs server." (#3716) - #3731

Closed
cuihtlauac wants to merge 1 commit into
ocaml:mainfrom
cuihtlauac:revert-3716-docs-server
Closed

Revert "Use new docs server." (#3716)#3731
cuihtlauac wants to merge 1 commit into
ocaml:mainfrom
cuihtlauac:revert-3716-docs-server

Revert "Use new docs server." (#3716) and its fmt follow-up (#3730)

19dd53a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build and test (ubuntu-latest, 5.2.0)
succeeded Jul 31, 2026 in 5m 25s