Skip to content

Set RNG seed manually with '-rg' parameter #1543

Set RNG seed manually with '-rg' parameter

Set RNG seed manually with '-rg' parameter #1543

Triggered via pull request July 30, 2024 22:01
Status Success
Total duration 8m 46s
Artifacts

ci.yml

on: pull_request
Matrix: build-and-test-cpu
Fit to window
Zoom out
Zoom in