Skip to content

fix: annotations2html api converts underline to highlight, fixes #1426 #85

fix: annotations2html api converts underline to highlight, fixes #1426

fix: annotations2html api converts underline to highlight, fixes #1426 #85

Triggered via pull request August 10, 2025 09:00
Status Success
Total duration 51s
Artifacts

CI.yml

on: pull_request
Fit to window
Zoom out
Zoom in