Update JET requirement from 0.9, 0.10, 0.11 to 0.9, 0.10, 0.11, 0.12 in /test

[dependabot]

Updates the requirements on JET to permit the latest version.

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 this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.