Stream: git-wasmtime

Topic: wasmtime / PR #2441 LTO1/3: Explicitly disable LTO

view this post on Zulip Wasmtime GitHub notifications bot (Nov 23 2020 at 11:44):

bnjbvr opened PR #2441 from lto-off to main:

This is an experiment to get measurements of CI run times, with and without LTO enabled. See discussion on Zulip.

This PR will establish a baseline of the CI run times, without any LTO. It'll be closed once the experiments have been all done.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 23 2020 at 13:09):

bnjbvr closed without merge PR #2441.

Last updated: Dec 23 2024 at 12:05 UTC