diff options
| author | Nadrieril | 2024-05-22 19:23:03 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | a9471e615e03d6fa0bc1594176fe504c9a3c88ae (patch) | |
| tree | 31ce18c2d053ecf40dcced79336df11a963bffbb /backends/lean | |
| parent | 6ae8cde046530371345863f04d84be32b2a757bf (diff) | |
Set all options in the test runner
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions