Skip to content

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

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

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

Triggered via push October 3, 2024 16:48
Status Skipped
Total duration 4s
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