From 70ed00fbdc75aa2e744a109c2c635bdfd6a34bd6 Mon Sep 17 00:00:00 2001 From: Jack Champagne Date: Wed, 20 May 2026 02:34:11 -0400 Subject: [PATCH] ci: gate JET correctness analysis to Julia 1.12.x only JET 0.10+ tracks the compiler tightly; on 1.13-pre (nightly) the compiler shifts faster than JET catches, surfacing noisy and unactionable findings. Tighten the gate from `VERSION >= v"1.12"` to `v"1.12" <= VERSION < v"1.13"` so JET runs on 1.12.x only and is muted on 1.13 nightly until JET catches up. Co-Authored-By: Claude Opus 4.7 (1M context) --- test/jet.jl | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/test/jet.jl b/test/jet.jl index 850d317..cef34d6 100644 --- a/test/jet.jl +++ b/test/jet.jl @@ -1,16 +1,18 @@ -# JET integrates tightly with the Julia compiler and is gated to v1.12 only. +# JET integrates tightly with the Julia compiler and is gated to v1.12.x only. # On 1.10 / 1.11, JET 0.10 may not surface the same findings, which would -# break `broken = true` with "Unexpected Pass". Don't relax this gate. +# break `broken = true` with "Unexpected Pass". On 1.13+ (nightly / pre) +# the compiler shifts faster than JET can track, so findings are noisy and +# unactionable until JET catches up. Don't widen this gate. # # Performance analysis (type instabilities / runtime dispatch) — run manually: # julia --project=. -e 'using DirectTrajOpt, JET; JET.@report_opt some_function(...)' @testitem "JET correctness analysis" tags=[:jet] begin - if VERSION >= v"1.12" + if v"1.12" <= VERSION < v"1.13" using JET, DirectTrajOpt JET.test_package(DirectTrajOpt; target_modules = (DirectTrajOpt,)) else - @info "Skipping JET correctness analysis on Julia $VERSION (requires >= 1.12)" + @info "Skipping JET correctness analysis on Julia $VERSION (gated to 1.12.x)" @test true end end