Skip to content

Merge pull request #763 from michaelmior/propertynames-const #3421

Merge pull request #763 from michaelmior/propertynames-const

Merge pull request #763 from michaelmior/propertynames-const #3421

Triggered via push February 19, 2025 16:07
Status Success
Total duration 26s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in