Repository navigation
Drop / and \ from the LinearAlgebra import - #208
Merged
ChrisRackauckas merged 1 commit intoSep 12, 2026
Merged
ChrisRackauckas merged 1 commit into
ChrisRackauckas merged 1 commit into
Conversation
On Julia 1.13 `/` and `\` are owned and publicly exported by `Base`, so ExplicitImports flags the explicit `LinearAlgebra` import on the `via_owners` check (owner is `Base`) and the `all_explicit_imports_are_public` check (not public in LinearAlgebra). The names are only called, never extended, and `Base` exports them. Fixes the QA job on the `julia '1'` lane (now 1.13.0). Verified locally: `GROUP=QA julia --project -e 'using Pkg; Pkg.test()'` passes on Julia 1.13.0. Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com> Co-Authored-By: Devin <noreply@cognition.ai> Agent-Harness: Devin CLI 3000.10.21 Agent-Model: SWE-2 Max Agent-Session: local session, /home/crackauc/.local/share/devin/cli/sessions.db
ChrisRackauckas
added a commit
that referenced
this pull request
Sep 13, 2026
- Add AirspeedVelocity benchmarking CI (#207) - Drop `/` and `\` from the `LinearAlgebra` import (#208) Agent-Harness: Claude Code Agent-Model: claude-opus-5[1m] Claude-Session: https://claude.ai/code/session_014FEzNTLFutCmTEAZ3zBg5R Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
The QA job on the
julia '1'lane (Julia 1.13.0) fails two ExplicitImports checks because/and\are imported fromLinearAlgebra, while their owner isBase:all_explicit_imports_via_owners:`/` and `\` have owner `Base` but were imported from `LinearAlgebra`all_explicit_imports_are_public:`/` and `\` are not public in `LinearAlgebra`Failing run: https://github.com/SciML/ModelOrderReduction.jl/actions/runs/34675969798
Both names are only called, never extended, and
Baseexports them — dropped from the import list.Note: the
Downgradeworkflow failure on this branch is the knownOrdinaryDiffEqDefault/OrdinaryDiffEqCorecompat issue that was fixed in the General registry (JuliaRegistries/General#167989) after this run raced the registration — a re-run should pick up consistent bounds.Test plan
GROUP=QA julia --project -e 'using Pkg; Pkg.test()'passes on Julia 1.13.0 (the two EI checks errored in CI on the unfixed code)🤖 Generated with Devin CLI 3000.10.21 (model: SWE-2 Max). Session: local session,
/home/crackauc/.local/share/devin/cli/sessions.db