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: 829969e) | patch

author	Ralf Jung <post@ralfj.de>
	Wed, 29 May 2019 10:54:19 +0000 (12:54 +0200)
committer	Ralf Jung <post@ralfj.de>
	Wed, 29 May 2019 10:58:44 +0000 (12:58 +0200)
commit	65a93eb3ee0ad5ded12666370029dbaca7c5e1ad
tree	ce1c301dd0b7518c5caca3294351530947ab775a	tree \| snapshot
parent	829969e8b1fb6d371a36654ec9ada4568a495da9	commit \| diff

try to make the Windows CI not rebuild Miri

diff | blob | history

Empowering everyone to build reliable and efficient software.