Skip to content

Correct conversion from Resource[] with length 1 to Collection<Resource> #8538

Correct conversion from Resource[] with length 1 to Collection<Resource>

Correct conversion from Resource[] with length 1 to Collection<Resource> #8538

Triggered via pull request November 28, 2023 01:40
Status Success
Total duration 17s
Artifacts
Validation
8s
Validation
Fit to window
Zoom out
Zoom in