Skip to content
Check Changelog

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

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

Triggered via pull request February 12, 2025 12:45
@jonludlamjonludlam
synchronize #1306
jonludlam:fix-610
Status Success
Total duration 19s
Artifacts –

changelog.yml

on: pull_request
Check Changelog Action
9s
Check Changelog Action
Fit to window
Zoom out
Zoom in