Stream: git-wasmtime

Topic: wasmtime / PR #3719 docs: remove fuzzit badge


view this post on Zulip Wasmtime GitHub notifications bot (Jan 24 2022 at 17:11):

abrown opened PR #3719 from fuzzit-badge to main:

The badge no longer displays. I believe this is due to the acquisition by GitLab; other repositories seem to be reporting similar issues.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jan 24 2022 at 18:20):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 24 2022 at 18:46):

abrown merged PR #3719.


Last updated: Dec 23 2024 at 12:05 UTC