Stream: git-wasmtime

Topic: wasmtime / PR #4150 Avoid spurious build script runs

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2022 at 18:12):

bjorn3 opened PR #4150 from avoid_spurious_rebuilds to main:

The second commit is not strictly necessary, but the first commit prevents the cranelift-codegen build script from unnecessarily running in some cases.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2022 at 18:37):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 12 2022 at 18:49):

cfallin merged PR #4150.

Last updated: Nov 22 2024 at 16:03 UTC