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