git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

projects / rust.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 144b485) | patch

author	Ralf Jung <post@ralfj.de>
	Sun, 27 Nov 2022 12:26:31 +0000 (13:26 +0100)
committer	Ralf Jung <post@ralfj.de>
	Sun, 27 Nov 2022 12:26:31 +0000 (13:26 +0100)
commit	c6587b0160b4e083dd70a2c1ecc1f79df00b35b3
tree	976be1ff02ff72db65d7b60c93e54b44b0bb7b8e	tree \| snapshot
parent	144b4859ad2c9fcee453f3a1000357e20ecad535	commit \| diff

run_tests_minimal: actually run the smoke test on the desired target

src/tools/miri/ci.sh

diff | blob | history

Empowering everyone to build reliable and efficient software.