Stream: git-cranelift

Topic: cranelift / Issue #1332 Try to reduce CI times with a Rus...

GitHub (Jan 10 2020 at 22:02):

abrown commented on Issue #1332:

What's the speedup using wat?

GitHub (Jan 10 2020 at 22:25):

alexcrichton commented on Issue #1332:

Oh wow that had a much bigger effect than I would have thought!

Comparing a recent PR build run with this PR's build run the time decreased from 12m51s to 9m10s, a 30% time reduction!

Last updated: Oct 23 2024 at 20:03 UTC