Skip to content

Merge pull request #1673 from CEED/jeremy/use-work-vecs #5818

Merge pull request #1673 from CEED/jeremy/use-work-vecs

Merge pull request #1673 from CEED/jeremy/use-work-vecs #5818

Triggered via push October 2, 2024 14:33
Status Skipped
Total duration 7s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: build_wheels
Build source distribution
0s
Build source distribution
upload_pypi
0s
upload_pypi
Fit to window
Zoom out
Zoom in