about summary refs log tree commit diff
path: root/src/tools/miri/CONTRIBUTING.md
AgeCommit message (Collapse)AuthorLines
2025-07-23Update `CONTRIBUTING.md`Jakub Beránek-6/+8
2025-07-17Merge pull request #4472 from RalfJung/triagebotOli Scherer-4/+8
triagebot: tweak welcome message
2025-07-17tweak PR process descriptionRalf Jung-4/+8
2025-07-17allow using different cargo binaryNia Espera-0/+1
2025-07-16triagebot welcome message for new usersRalf Jung-1/+1
2025-07-02Add tracing feature to enable tracing_chrome supportStypox-0/+9
2025-05-02add ./miri squashRalf Jung-6/+4
2025-03-17replace config.toml to bootstrap.toml in src:toolsbit-aloo-1/+1
2025-01-04bump josh-proxyRalf Jung-1/+1
2024-12-22CONTRIBUTING: explain how to do benchmarking with a baselineRalf Jung-0/+9
2024-10-28contributing guide: mention expectations around force pushes and squashingRalf Jung-8/+19
2024-10-09explain the review bot useRalf Jung-0/+8
2024-10-06tweak the hintRalf Jung-8/+3
2024-10-05Added rust-analyzer instructions for HelixYoh Deadfall-38/+32
2024-08-15add 'project' process guidlines for larger contributionsRalf Jung-1/+34
2024-08-10update suggested RA config; the './miri cargo' command is not needed any moreRalf Jung-4/+4
2024-08-10miri-script: use --remap-path-prefix to print errors relative to the right rootRalf Jung-0/+1
2024-06-07Remove --stage entirely from contributingNilstrieb-1/+1
2024-06-07Fix stage in contributingNilstrieb-2/+2
2024-05-28move ./miri environment variables to CONTRIBUTINGRalf Jung-1/+16
2024-05-09make RUSTC_BLESS entirely an internal thingRalf Jung-0/+2
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-5/+40
2024-05-09minor tweaksRalf Jung-0/+1
2024-05-08Update documentation for miri-script test changesRoss Smyth-5/+4
2024-03-31update josh version and guidanceRalf Jung-11/+7
2024-03-25CONTRIBUTING: vsocde settings: add --all-targetsRalf Jung-0/+2
2024-03-24Add libc test for rename and ftruncatetiif-5/+8
2024-01-30Switch over to rustc's `tracing` crate instead of using our own `log` crateOli Scherer-1/+10
2023-12-03Fix miri script target dir and update doc linkJefffrey-1/+1
2023-10-04auto-detect no_std where possibleRalf Jung-12/+5
2023-08-22miri-script: start and stop josh automaticallyRalf Jung-20/+17
2023-08-21update recommended RA configRalf Jung-4/+5
2023-07-31miri-script refactorRalf Jung-1/+1
2023-03-14Update docs to matchBen Kimock-7/+4
Co-authored-by: Ralf Jung <post@ralfj.de>
2023-01-31Update CONTRIBUTING.mdOli Scherer-2/+1
Co-authored-by: Ralf Jung <post@ralfj.de>
2023-01-30Add a note for using ssh login with joshOli Scherer-0/+8
2022-12-25use cargo-install to install josh-proxyRalf Jung-4/+4
2022-12-21update josh onstructionsRalf Jung-6/+6
2022-11-28Auto merge of #2698 - RalfJung:miri-in-rustc, r=oli-obkbors-47/+14
replace 'locally built rustc' instructions by 'Miri in rustc'
2022-11-27advice on josh pushingRalf Jung-0/+7
2022-11-27replace 'locally built rustc' instructions by 'Miri in rustc'Ralf Jung-47/+14
2022-11-15adjust josh pushing and remove ./miri toolchain updating the toolchain fileRalf Jung-19/+3
2022-11-15update josh instructionsRalf Jung-4/+4
2022-11-06README: Add macos cache deletion commandMartin Kröning-1/+2
2022-10-29Auto merge of #2634 - RalfJung:miri-script, r=oli-obkbors-18/+15
./miri updates: toolchain, rustc-push, rustc-pull This merges the `./rustup-toolchain` script into `./miri` as `./miri toolchain`, and adds two new commands for josh-based syncing. r? `@rust-lang/miri`
2022-10-29explain how to go back to rustup-managed MiriRalf Jung-0/+3
2022-10-29merge rustup-toolchain into ./miriRalf Jung-5/+5
2022-10-29teach ./miri how to do Josh syncsRalf Jung-13/+10
2022-10-24point to my fork of josh for nowRalf Jung-3/+2
2022-10-09add josh instructionsRalf Jung-2/+51
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 23:29:11 +0000