Skip to content
Back to pull request #22

Avoid GLOBAL_RNG where possible #43

Sign in to view logs

Avoid GLOBAL_RNG where possible

Avoid GLOBAL_RNG where possible #43

Triggered via pull request October 10, 2023 15:54
@fingolfinfingolfin
opened #22
fingolfin:mh/GLOBAL_RNG
Status Success
Total duration 6m 26s
Artifacts –

CI.yml

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