diff options
| author | Maxime Dénès | 2018-02-05 10:46:56 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-02-05 10:46:56 +0100 |
| commit | f5cf5e062bdc6264dc3c398ad76559ec188cde47 (patch) | |
| tree | 0d08db42279a4b937f2603bfd715bdb1ab597cd0 /kernel/nativevalues.ml | |
| parent | f9818ce50dd25aa48101a0566184f75049dc37a3 (diff) | |
| parent | 67c16ccd3fd31f532f446d17c53837ac80e0b4a4 (diff) | |
Merge PR #6654: CI: Run coqchk on Iris
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions