SymbolicUtils.jl
SymbolicUtils.jl copied to clipboard
bot to periodically change random seed
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!