]> git.lizzy.rs Git - rust.git/commit
test using a JSON target file
authorRalf Jung <post@ralfj.de>
Wed, 28 Dec 2022 16:24:28 +0000 (17:24 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 28 Dec 2022 17:01:20 +0000 (18:01 +0100)
commit40d65f01523b9eff6921f3b2d40c22a87affdc62
tree6b2e6042614624969913b0f3002e95adde103560
parentfbd6a699372e5309e298f61741623fe71abc172d
test using a JSON target file
src/tools/miri/ci.sh
src/tools/miri/tests/avr.json [new file with mode: 0644]