Update JET requirement from 0.9,0.10,0.11 to 0.9,0.10,0.11,0.12 in /test 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

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions