Skip to content

Conversation

@tautschnig
Copy link
Member

  • Removed deprecated eslint-config-standard-with-typescript from devDependencies
  • Added [email protected] to devDependencies
  • Updated TypeScript ESLint packages to v7.18.0 for compatibility
  • Updated ESLint to v8.57.1
  • Updated .eslintrc.js to extend 'love' configuration
  • Added overrides for rules to maintain existing code style
  • Added npm override for minimatch to fix type compatibility issues
  • Updated @types/glob to v8.1.0
  • Verified linting and compilation work correctly

- Removed deprecated eslint-config-standard-with-typescript from devDependencies
- Added [email protected] to devDependencies
- Updated TypeScript ESLint packages to v7.18.0 for compatibility
- Updated ESLint to v8.57.1
- Updated .eslintrc.js to extend 'love' configuration
- Added overrides for rules to maintain existing code style
- Added npm override for minimatch to fix type compatibility issues
- Updated @types/glob to v8.1.0
- Verified linting and compilation work correctly
@feliperodri
Copy link
Contributor

We are still getting this error:

Code Scanning could not process the submitted SARIF file:
CodeQL analyses from advanced configurations cannot be processed when the default setup is enabled

It seems we should disable the "Default setup" in "Code Scanning"

@tautschnig
Copy link
Member Author

It seems we should disable the "Default setup" in "Code Scanning"

Ack, I'm still trying to figure out how to do this...

@feliperodri
Copy link
Contributor

This #197 should fix the CodeQL issue @tautschnig

Copilot AI review requested due to automatic review settings December 18, 2025 13:15
@tautschnig tautschnig merged commit ef03cdb into model-checking:main Dec 18, 2025
13 checks passed
@tautschnig tautschnig deleted the replace-eslint-config branch December 18, 2025 13:17
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR migrates from the deprecated eslint-config-standard-with-typescript to eslint-config-love as the base ESLint configuration for the TypeScript project. The migration includes upgrading TypeScript ESLint packages from v5 to v7, updating ESLint, and adding rule overrides to maintain compatibility with the existing codebase.

Key Changes:

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated 2 comments.

File Description
package.json Removed deprecated package, added eslint-config-love, upgraded TypeScript ESLint packages to v7.18.0, ESLint to v8.57.1, added minimatch override and @types/minimatch
.eslintrc.js Simplified extends array to use 'love' config, removed explicit import plugin configs, added 20 new rule overrides to maintain backward compatibility
package-lock.json Updated lockfile with new dependency versions and transitive dependencies from upgraded packages

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

"typescript": "^5.7.3"
},
"overrides": {
"minimatch": "^5.1.6"
Copy link

Copilot AI Dec 18, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The minimatch override is set to "^5.1.6" which resolves to version 5.x, but @typescript-eslint/typescript-estree (v7.18.0) has a peer dependency requiring "minimatch": "^9.0.4" as seen in the package-lock.json. This version mismatch could lead to type compatibility issues or unexpected behavior. Consider updating the override to "^9.0.4" to match the expected peer dependency version, or verify that version 5.1.6 is sufficient for the actual use case.

Suggested change
"minimatch": "^5.1.6"
"minimatch": "^9.0.4"

Copilot uses AI. Check for mistakes.
'plugin:@typescript-eslint/eslint-recommended',
'plugin:@typescript-eslint/recommended-requiring-type-checking',
'plugin:@typescript-eslint/recommended',
'love',
Copy link

Copilot AI Dec 18, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The extends array has been simplified by replacing multiple explicit TypeScript ESLint configurations with 'love', which is a curated ESLint config. However, the 'plugin:import/recommended' and 'plugin:import/typescript' configurations have been removed from the extends array. Since eslint-config-love doesn't include these import plugin configurations by default, you may need to verify that import-related rules are still functioning as expected, especially since the codebase has import ordering rules configured (lines 90-109).

Suggested change
'love',
'love',
'plugin:import/recommended',
'plugin:import/typescript',

Copilot uses AI. Check for mistakes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants