diff options
| author | coqbot-app[bot] | 2021-01-12 08:41:18 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-12 08:41:18 +0000 |
| commit | bedea3079b35982abefe4b78ae7aa0f6819842f6 (patch) | |
| tree | dfa95db55923ffb2d7175ac18a0aa2e6bc2b7250 /pretyping/patternops.ml | |
| parent | 89a44a12abc11d867d865494c28e47fe1a0a4d5b (diff) | |
| parent | 1debe206dff53dfb20795ddf40d0a328d2252a6f (diff) | |
Merge PR #13704: [ci] [coq-performance-tests] Errors at end of log
Reviewed-by: SkySkimmer
Ack-by: gares
Diffstat (limited to 'pretyping/patternops.ml')
0 files changed, 0 insertions, 0 deletions