Skip to content

Merge pull request #124 from github/aneubeck/casefold #556

Merge pull request #124 from github/aneubeck/casefold

Merge pull request #124 from github/aneubeck/casefold #556

Triggered via push June 15, 2026 12:12
Status Success
Total duration 5m 10s
Artifacts

ci.yaml

on: push
Fit to window
Zoom out
Zoom in