From c0fbddbf6f77ebdcd4d6a286776dcf332bdb967f Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 9 Apr 2026 15:54:56 +0200 Subject: [PATCH] chore: scale `nat_repr` to a more reasonable runtime (#13347) --- tests/compile_bench/nat_repr.lean.init.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/compile_bench/nat_repr.lean.init.sh b/tests/compile_bench/nat_repr.lean.init.sh index 121ab81fa4..bcbaa1a0d6 100644 --- a/tests/compile_bench/nat_repr.lean.init.sh +++ b/tests/compile_bench/nat_repr.lean.init.sh @@ -1,5 +1,5 @@ TEST_ARGS=( 500 ) if [[ -n $TEST_BENCH ]]; then - TEST_ARGS=( 5000 ) + TEST_ARGS=( 15000 ) fi