Skip to content

Use std::shuffle instead of std::random_shuffle (#1131) #3873

Use std::shuffle instead of std::random_shuffle (#1131)

Use std::shuffle instead of std::random_shuffle (#1131) #3873

Triggered via push December 4, 2023 04:44
Status Success
Total duration 14m 22s
Artifacts

ci.yml

on: push
Matrix: build-with-apt-dependencies
Matrix: build-with-conda-dependencies
Fit to window
Zoom out
Zoom in