Uploading multiple SARIF runs with the same category is deprecated and will be removed on June 4, 2025. Please update your workflow to upload a single run per category. For more information, see https://github.blog/changelog/2024-05-06-code-scanning-will-stop-combining-runs-from-a-single-upload

Failed to inline the value 'getLambdaBodyExpr' marked 'inline', perhaps because a recursive value was marked 'inline'

Failed to inline the value 'getLambdaBodyExpr' marked 'inline', perhaps because a recursive value was marked 'inline'

Failed to inline the value 'getLambdaBodyExpr' marked 'inline', perhaps because a recursive value was marked 'inline'