lean4-code-actions/.eslintrc.ci.cjs

Refactorings and snippets for Lean 4

const config = require('./.eslintrc.cjs')

module.exports = {
  ...config,
  rules: {
    ...config.rules,
    'no-console': ['error', { allow: ['info', 'warn', 'error'] }],
    'no-debugger': ['error'],
  },
}