Merge pull request #698 from GuillaumeGomez/signal #2235

Job	Run time
build (--test-successful-rustc --nb-parts 2 --current-part 0)	18m 56s
build (--test-successful-rustc --nb-parts 2 --current-part 1)	15m 45s
success_release	2s
	34m 43s

Provide feedback