Skip to content

Revert to proper umlaut in formula #13

Revert to proper umlaut in formula

Revert to proper umlaut in formula #13

Triggered via push January 12, 2026 10:20
Status Success
Total duration 22s
Artifacts

github-pages.yml

on: push
Fit to window
Zoom out
Zoom in