max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: bump stack limit in benchmark (#9660)

Browse source
This commit is contained in:
Henrik Böving 2025-08-01 11:33:39 +02:00 • committed by GitHub
parent 009bcf1a27
commit 6eaf406305
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/bench/speedcenter.exec.velcom.yaml
View file

@ -426,7 +426,7 @@
tags: [fast, suite]
run_config:
<<: *time
cmd: lean simp_congr.lean
cmd: lean --tstack=16384 simp_congr.lean
- attributes:
description: mut_rec_wf
tags: [fast, suite]