SymbolicUtils.jl icon indicating copy to clipboard operation
SymbolicUtils.jl copied to clipboard

bot to periodically change random seed

Open MasonProtter opened this issue 5 years ago • 0 comments

Currently, we set a random seed in the test suite so that they are deterministic. It'd be good if we had a bot that cloned master once a day and opened a PR with a new random seed. This way we can continue to discover weird edge cases with the fuzz tests but also have things be (mostly) deterministic.

If someone knows their way around github actions, we would really appreciate your help on this!

MasonProtter avatar May 01 '20 15:05 MasonProtter