Skip to content

Rename index to corpus (#90) #232

Rename index to corpus (#90)

Rename index to corpus (#90) #232

Triggered via push September 15, 2023 22:39
Status Success
Total duration 1m 16s
Artifacts
Index changed-files
1m 7s
Index changed-files
Fit to window
Zoom out
Zoom in