diff options
| author | Nadrieril | 2024-04-16 11:41:21 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-04-16 11:41:21 +0200 |
| commit | 621b8fff5dcd8ad481fd151c8e0fea6e7438d070 (patch) | |
| tree | a1c9dbb932960c94d4aadf54dd0bf6f7b6a5383d /tests/lean/Constants.lean | |
| parent | 2545ad25384156d7d8d798567bc922be798a20e3 (diff) | |
Run sanity checks in CI only
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions