diff options
| author | Nadrieril | 2024-05-27 14:34:12 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-27 14:40:34 +0200 |
| commit | fb16d0af4caacd2c9a3463f6d2b455209b755697 (patch) | |
| tree | 91c154b6fdc0384e6640e879e140633ffc9599bc /tests/hol4/Makefile | |
| parent | 9c09789c26dd8142b8a29b42e250a685aa983e58 (diff) | |
runner: Add `no-check-output` option for unstable outputs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions