diff options
| author | Mahdi Dibaiee <mdibaiee@pm.me> | 2023-07-26 10:28:53 +0100 |
|---|---|---|
| committer | Mahdi Dibaiee <mdibaiee@pm.me> | 2023-07-26 10:55:51 +0100 |
| commit | 7d773c3304731716cc54db3531ba54067ca55a4a (patch) | |
| tree | 684ebc04c16cb4d6cfbeb813bec536fb63d5390f /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | cf34adb0dd408d7b2f27a64484df63c36c1cc514 (diff) | |
| download | rust-7d773c3304731716cc54db3531ba54067ca55a4a.tar.gz rust-7d773c3304731716cc54db3531ba54067ca55a4a.zip | |
compiletest: remove ci-specific remap-path-prefix
Now that we have fixed the underlying cause of long type name inconsistencies in #113893, we can remove the remap-path-prefix logic from CI
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions