diff options
| author | Sayantan Chakraborty <142906350+sayantn@users.noreply.github.com> | 2025-09-02 09:06:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-02 09:06:44 +0000 |
| commit | 60874ec82085bae842e553b67dc1c313f21c7c2c (patch) | |
| tree | a37adb7b62408030c537dd395a47d689943c29cf /src/tools/miri/genmc-sys/src_cpp | |
| parent | bbb222f9eaa40d296676dd2cd0c59fd660a7a241 (diff) | |
| parent | bb3598e481a752b85872fcbea9dab805907c2d81 (diff) | |
Merge pull request #1912 from folkertdev/loongarch-qemu-user
use `qemu-user` instead of `qemu-user-static` for loongarch CI
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions