diff --git a/.gitlab-ci/scripts/report_synth.py b/.gitlab-ci/scripts/report_synth.py index 697bc8552d..8ac865f179 100644 --- a/.gitlab-ci/scripts/report_synth.py +++ b/.gitlab-ci/scripts/report_synth.py @@ -65,7 +65,7 @@ target = match.group(1) if target in expected: diff = gates - expected[target]['gates'] - if abs(diff) >= 100: + if abs(diff) >= 300: result_metric.fail() else: raise Exception("unexpected target: {target}")