Skip to content

Rename Theta to theta in downloaded zip #610

Rename Theta to theta in downloaded zip

Rename Theta to theta in downloaded zip #610

Triggered via push January 7, 2024 20:17
Status Success
Total duration 24s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
check-copyright
14s
check-copyright
Fit to window
Zoom out
Zoom in