Skip to content

Remove Stream.flat - use .flatten() instead #3651

Remove Stream.flat - use .flatten() instead

Remove Stream.flat - use .flatten() instead #3651

Triggered via pull request October 7, 2025 22:44
Status Success
Total duration 11m 1s
Artifacts

maincheck.yml

on: pull_request
Matrix: run_tests
Fit to window
Zoom out
Zoom in