Stream: git-wasmtime

Topic: wasmtime / issue #5629 test: check that the `--vtune` fla...

Wasmtime GitHub notifications bot (Jan 25 2023 at 00:12):

abrown commented on issue #5629:

Sure, should I #[ignore] the test so we can merge this and add a note in there to un-ignore it when fixed?

Wasmtime GitHub notifications bot (Jan 25 2023 at 00:14):

jameysharp commented on issue #5629:

I don't have a preference either way. If you don't want to keep an open PR around I think it's fine to merge it #[ignore]d, but I think it's also fine to just leave this PR here until the underlying issue is sorted out.

Last updated: Dec 23 2024 at 12:05 UTC