Update JET requirement from 0.9, 0.10, 0.11 to 0.9, 0.10, 0.11, 0.12 in the all-julia-packages group across 1 directory

[dependabot]

Updates the requirements on JET to permit the latest version.
Updates JET to 0.12.0

Release notes

Sourced from JET's releases.

v0.12.0

JET v0.12.0

Diff since v0.11.6

Added

• Added support for Julia v1.13.
• Added JET.JET_AVAILABLE so test suites can skip JET checks when only empty stubs are available. See the new Julia compatibility and versioning policy.

Changed

• Breaking: JET no longer accepts Julia compiler parameter keywords such as max_methods and inlining as user-facing configuration options for analysis entry points; such keywords now throw JETConfigError.
• Module matchers for the target_modules/ignored_modules configurations now follow lexical module nesting that stops at namespace roots: Base is no longer considered a submodule of Main. target_modules = (Main,) therefore matches only code defined interactively in the REPL or in an analyzed script, instead of also matching every report from Base.
• JET now loads empty stubs on unsupported future Julia versions while remaining installable as a test dependency.
• Overhauled JET's documentation across the project.
• Improved the implementation of optimization analysis to make it more robust.

Removed

• Breaking: Removed support for .JET.toml configuration files, including the parent-directory file lookup that report_file performed. A single configuration file could not be shared between analyzers that accept different configuration sets, and some configurations could not even be specified through the file at all. All analysis configurations are now specified via keyword arguments of each entry point.
• Breaking: Removed the experimental watch_file entry point. Use JETLS.jl for interactive diagnostics.
• Breaking: Removed the report_package(::AbstractString) and report_package() entry points (and the corresponding test_package forms), which had been deprecated since v0.11. Load the target package first and pass its module directly, e.g. report_package(PkgModule).
• Breaking: Removed the target_defined_modules configuration, which had been deprecated since v0.11. Use the more flexible target_modules configuration instead, e.g. target_modules=(PkgModule,).
• Breaking: Removed the fullpath printing configuration, which had been deprecated since v0.11. Use sourceinfo=:full instead.

Fixed

• aviatesk/JET.jl#840 thanks @​PatrickHaecker).
• Fixed report_package to analyze definitions from source files included into multiple modules.

... (truncated)

Changelog

Sourced from JET's changelog.

[0.12.0]

Added

• Added support for Julia v1.13.
• Added JET.JET_AVAILABLE so test suites can skip JET checks when only empty stubs are available. See the new Julia compatibility and versioning policy.

Changed

• Breaking: JET no longer accepts Julia compiler parameter keywords such as max_methods and inlining as user-facing configuration options for analysis entry points; such keywords now throw JETConfigError.
• Module matchers for the target_modules/ignored_modules configurations now follow lexical module nesting that stops at namespace roots: Base is no longer considered a submodule of Main. target_modules = (Main,) therefore matches only code defined interactively in the REPL or in an analyzed script, instead of also matching every report from Base.
• JET now loads empty stubs on unsupported future Julia versions while remaining installable as a test dependency.
• Overhauled JET's documentation across the project.
• Improved the implementation of optimization analysis to make it more robust.

Removed

• Breaking: Removed support for .JET.toml configuration files, including the parent-directory file lookup that report_file performed. A single configuration file could not be shared between analyzers that accept different configuration sets, and some configurations could not even be specified through the file at all. All analysis configurations are now specified via keyword arguments of each entry point.
• Breaking: Removed the experimental watch_file entry point. Use JETLS.jl for interactive diagnostics.
• Breaking: Removed the report_package(::AbstractString) and report_package() entry points (and the corresponding test_package forms), which had been deprecated since v0.11. Load the target package first and pass its module directly, e.g. report_package(PkgModule).
• Breaking: Removed the target_defined_modules configuration, which had been deprecated since v0.11. Use the more flexible target_modules configuration instead, e.g. target_modules=(PkgModule,).
• Breaking: Removed the fullpath printing configuration, which had been deprecated since v0.11. Use sourceinfo=:full instead.

Fixed

• aviatesk/JET.jl#840 thanks @​PatrickHaecker).
• Fixed report_package to analyze definitions from source files included into multiple modules.
• Fixed races between report_package and concurrent Revise package tracking or revision.

... (truncated)

Commits

• See full diff in compare view

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
see 56 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[lkdvos]

Can't do this just yet, since Mooncake is blocking the update for now.