Skip to content

Merge pull request #517 from dancek/create-index #235

Merge pull request #517 from dancek/create-index

Merge pull request #517 from dancek/create-index #235

Triggered via push December 8, 2023 21:16
Status Success
Total duration 3m 2s
Artifacts
build-and-snapshot
2m 53s
build-and-snapshot
Matrix: build
Fit to window
Zoom out
Zoom in