Skip to content

Replace footnotes with direct links #2099

Replace footnotes with direct links

Replace footnotes with direct links #2099

Triggered via pull request August 16, 2026 09:57
Status Success
Total duration 11s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in