Skip to content

Optimize by using join instead of merge #1102

Optimize by using join instead of merge

Optimize by using join instead of merge #1102

Triggered via push September 12, 2023 07:02
Status Success
Total duration 21s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
check-for-syntax-errors
12s
check-for-syntax-errors
Fit to window
Zoom out
Zoom in