Commit b4b90adf authored by Matthew Slipper's avatar Matthew Slipper Committed by GitHub

ctb: Reduce heavy fuzz runs in CI (#13296)

parent e1dbb880
......@@ -98,12 +98,12 @@ depth = 32
[profile.ciheavy.fuzz]
runs = 20000
timeout = 600
timeout = 300
[profile.ciheavy.invariant]
runs = 128
depth = 512
timeout = 600
timeout = 300
################################################################
# PROFILE: LITE #
......
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