diff options
| author | coqbot-app[bot] | 2020-11-10 23:09:05 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-10 23:09:05 +0000 |
| commit | af42e1bec2df12355725bc79e2060f5d3acd0ce1 (patch) | |
| tree | 9ab7cd52c832c7d8e27b35e69aedebcccc21f581 /dev | |
| parent | 417e8c513e4372bcd622603912cfb2d9f1069619 (diff) | |
| parent | 400f852347be1b038369878df997bf537ff1f3d0 (diff) | |
Merge PR #13335: Fix running unit tests with dune compiled coq
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions