lean4-code-actions/libs/utils/sentry.ts

Refactorings and snippets for Lean 4

export const sentryApiRouteConfig = {
  externalResolver: true,
}