diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-08-18 12:35:20 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-08-18 12:35:20 +0200 |
| commit | 4668751e522171185eea69f2bdfba18b7ffb5f5c (patch) | |
| tree | f6feaa1216878749bf67d241f1ad7ada70fd1109 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 425a9c0a0e365c0b8c6cfd00c2ded83a73bed9a0 (diff) | |
| download | rust-4668751e522171185eea69f2bdfba18b7ffb5f5c.tar.gz rust-4668751e522171185eea69f2bdfba18b7ffb5f5c.zip | |
Print what bootstrap invocation failed when an error happens in CI
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions