Skip to content
Build

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

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

Triggered via pull request February 25, 2025 11:04
@jonludlamjonludlam
synchronize #1306
jonludlam:fix-610
Status Success
Total duration 9m 47s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in