diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-04-21 13:30:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-21 13:30:24 +0200 |
| commit | f122a5129c465f76b30ce8f3c0aa533cea650f32 (patch) | |
| tree | 2bc04c67b8919dbe59d454b3f1f9ac03c26fffe0 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | b9be3c47e52d9dec0009662c6ce3708c5396f6d4 (diff) | |
| parent | c5fdb391208b309959a63f9798f85b0179bf947e (diff) | |
| download | rust-f122a5129c465f76b30ce8f3c0aa533cea650f32.tar.gz rust-f122a5129c465f76b30ce8f3c0aa533cea650f32.zip | |
Rollup merge of #124069 - onur-ozkan:run-clippy-on-bootstrap, r=albertlarsan68
enable clippy for bootstrap on CI PRs (in `mingw-check` image) Let's keep the bootstrap codebase cleaner.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions