Stream: git-wasmtime

Topic: wasmtime / PR #5145 Fix the `push-tag` workflow again

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2022 at 14:57):

alexcrichton opened PR #5145 from fix-push-tag to main:

This is the same as https://github.com/bytecodealliance/wasmtime/pull/5144 but applied to the main branch.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2022 at 15:25):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2022 at 16:11):

alexcrichton has enabled auto merge for PR #5145.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 27 2022 at 17:01):

alexcrichton merged PR #5145.

Last updated: Nov 22 2024 at 17:03 UTC