Stream: git-wasmtime

Topic: wasmtime / issue #9236 CI: split up the "monolith checks"...


view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2024 at 21:18):

fitzgen opened issue #9236:

I'm seeing it be the bottleneck for entering the merge queue these days, and it shouldn't be hard to split into multiple jobs that can run in parallel. Don't have time at the moment, so just noting this down for posterity.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2024 at 16:40):

fitzgen closed issue #9236:

I'm seeing it be the bottleneck for entering the merge queue these days, and it shouldn't be hard to split into multiple jobs that can run in parallel. Don't have time at the moment, so just noting this down for posterity.


Last updated: Nov 22 2024 at 16:03 UTC