Skip to content

Merge pull request #22284 from asgerf/unified/local-type-names #52842

Merge pull request #22284 from asgerf/unified/local-type-names

Merge pull request #22284 from asgerf/unified/local-type-names #52842

Triggered via push August 6, 2026 10:44
Status Success
Total duration 30s
Artifacts

sync-files.yml

on: push
Fit to window
Zoom out
Zoom in