Commit 6ec241be authored by smartcontracts's avatar smartcontracts Committed by GitHub

maint(ci): bump heavy fuzz runs (#12605)

Bumps the number of heavy fuzz runs to 20k. 10k recently missed a
flake so bumping to 20k to try to avoid that in the future. Not
perfect but it will reduce the probability a bit. Developers can
still manually set the number of fuzz runs for a particular test
with annotations if 20k is too high.
parent 532a1464
...@@ -76,7 +76,7 @@ runs = 256 ...@@ -76,7 +76,7 @@ runs = 256
depth = 32 depth = 32
[profile.ciheavy] [profile.ciheavy]
fuzz = { runs = 10000 } fuzz = { runs = 20000 }
[profile.ciheavy.invariant] [profile.ciheavy.invariant]
runs = 128 runs = 128
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment