diff options
| author | coqbot-app[bot] | 2020-11-12 14:49:25 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-12 14:49:25 +0000 |
| commit | 176faf135778471e70a8d47387f9e7d05815609e (patch) | |
| tree | d5c5bb470e47a9c457f41dade752d2e8238d228e /doc/plugin_tutorial/tuto3/src/construction_game.mli | |
| parent | 6d7877829b7265d6c416c17ea3bbacf65f306609 (diff) | |
| parent | 0cbd6c27cd66ee5517db0d4ecbd86dab80d12763 (diff) | |
Merge PR #13359: Print failed test suite logs in CI
Reviewed-by: ejgallego
Reviewed-by: herbelin
Diffstat (limited to 'doc/plugin_tutorial/tuto3/src/construction_game.mli')
0 files changed, 0 insertions, 0 deletions