| commit | 5bd7c1101c0b8610949e0172b0e1a0072fd03638 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Sat Apr 11 22:36:50 2026 +0000 |
| committer | Nico Huber <nico.h@gmx.de> | Fri May 29 11:24:07 2026 +0000 |
| tree | 5871d24b0f572ab2224b4063b4437f44757fbcb2 | |
| parent | 35ca5cc1eb4b0239ade90eed62bab2793a27d183 [diff] |
Makefile.proof: Increase proof timeout Hardware is getting faster but software slower??? A few libgfxinit proofs take longer than 1s now, so we'll double the timeout to 2s. Change-Id: I27a39662c80216b7b7e2285c953d2f20995647ff Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/475 Tested-by: Ada SPARK <gnatbot@sourcearcade.org> Reviewed-by: Angel Pons <th3fanbus@gmail.com>