Skip to content

Record randomization seed #11

Closed
Closed
@tim-pugh

Description

@tim-pugh

Since the randomization must be stable from source-to-source, the randomization seed needs to be externally recorded (i.e. it is a build artifact).

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions