| commit | 503454968ba8dbad423c6deb1e44397ab11d291b | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Sat Apr 11 10:59:43 2026 +0000 |
| committer | Nico Huber <nico.h@gmx.de> | Fri May 29 11:24:07 2026 +0000 |
| tree | 78f9a475fa86f33de8c62e54d6e009cdd83964fa | |
| parent | 0498e100f7097d7b25cf006e197d6a39ec839ecf [diff] |
Makefile.proof: Also run the regular build as part of proofs Change-Id: I76eb39e429d3dc540bbcb04ca662c0d15bf7b8a4 Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/473 Tested-by: Ada SPARK <gnatbot@sourcearcade.org> Reviewed-by: Angel Pons <th3fanbus@gmail.com>