bors 1811210339 Auto merge of #15476 - Wilfred:implement-saved-file3, r=Veykril ... Substitute $saved_file in custom check commands If the custom command has a $saved_file placeholder, and we know the file being saved, replace the placeholder and run a check command. If there's a placeholder and we don't know the saved file, do nothing. This is a simplified version of #15381, which I hope is easier to review.		2024-02-12 14:59:37 +00:00
..
src	Auto merge of #15476 - Wilfred:implement-saved-file3, r=Veykril	2024-02-12 14:59:37 +00:00
tests/slow-tests	internal: tool discovery prefers sysroot tools	2024-02-12 12:08:18 +01:00
build.rs	Fix typo in build.rs	2022-06-26 10:09:45 +00:00
Cargo.toml	Auto merge of #16445 - lnicola:bump-scip, r=lnicola	2024-01-31 09:27:01 +00:00