Skip to content

Rename "JOSS files" folder to "JOSS_files", https://github.com/openjo… #712

Rename "JOSS files" folder to "JOSS_files", https://github.com/openjo…

Rename "JOSS files" folder to "JOSS_files", https://github.com/openjo… #712

Triggered via push April 12, 2024 08:52
Status Success
Total duration 7m 55s
Artifacts
check-random-test-order  /  check-random-test-order
7m 43s
check-random-test-order / check-random-test-order
Fit to window
Zoom out
Zoom in