/miri-ignore-unsupported

Action for filtering miri's tests that fail because of unsupported functionality

Primary Languagejq

miri-ignore-unsupported

Github Action for running miri and try to skip tests that failed because of unsupported functionality.