Packages the nobadfuncs check as an asset for the godel check plugin - View it on GitHub