Skip to content
Check Changelog

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

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 #1122

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check Changelog Action
7s
7s