Stream: git-wasmtime

Topic: wasmtime / issue #4388 Remove meetings agendas/minutes (m...

Wasmtime GitHub notifications bot (Jul 05 2022 at 21:17):

cfallin commented on issue #4388:

This PR also removes the CI exception for meetings/. That means that we'll pay the cost once for redundant runs here but subsequently it won't be an issue (and we don't need to temporarily tweak the merge-gating config to allow this in).

Last updated: Nov 22 2024 at 16:03 UTC