Skip to content
Build

Fix issue #610 - odoc html-fragment not producing headings correctly #2810

Sign in to view logs

Fix issue #610 - odoc html-fragment not producing headings correctly

Fix issue #610 - odoc html-fragment not producing headings correctly #2810

build (ubuntu-latest, 5.0)

build (ubuntu-latest, 5.0)
succeeded Feb 12, 2025 in 3m 26s