Skip to content

Merge pull request #1875 from CEED/jeremy/name-consistency #7775

Merge pull request #1875 from CEED/jeremy/name-consistency

Merge pull request #1875 from CEED/jeremy/name-consistency #7775

Triggered via push August 6, 2025 16:03
Status Skipped
Total duration 1s
Artifacts
Matrix: build_wheels
Build source distribution
0s
Build source distribution
upload_pypi
0s
upload_pypi
Fit to window
Zoom out
Zoom in