Skip to content

Merge pull request #232 from nusbaume/updated_standard_names #70

Merge pull request #232 from nusbaume/updated_standard_names

Merge pull request #232 from nusbaume/updated_standard_names #70

Triggered via push December 21, 2023 22:28
Status Success
Total duration 21s
Artifacts
issue_closer
12s
issue_closer
Fit to window
Zoom out
Zoom in