Skip to content

ci: Document and verify Eigen 5 compatibility - #174

Open
PatWie wants to merge 1 commit into
mainfrom
ci-test
Open

ci: Document and verify Eigen 5 compatibility#174
PatWie wants to merge 1 commit into
mainfrom
ci-test

Conversation

@PatWie

@PatWie PatWie commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Agents and users integrating the Bazel module routinely misread the declared eigen 3.4.0.bcr.3 dependency as a pin and conclude the library only works with old Eigen. Under bzlmod it is a minimum: version selection resolves to the highest Eigen requested anywhere in the module graph, and every BCR eigen release from 3.4.0 through 5.x shares compatibility_level 1.

Make this explicit in the README integration section and next to the bazel_dep itself, and add a dedicated workflow that appends a single_version_override for the newest BCR Eigen 5 release and runs the full test suite, so the compatibility claim stays verified as new Eigen versions land. The override is appended in CI rather than committed because single_version_override is only honored in the root module and would otherwise force the pin on consumers.

Agents and users integrating the Bazel module routinely misread the
declared `eigen 3.4.0.bcr.3` dependency as a pin and conclude the
library only works with old Eigen. Under bzlmod it is a minimum:
version selection resolves to the highest Eigen requested anywhere in
the module graph, and every BCR eigen release from 3.4.0 through 5.x
shares compatibility_level 1.

Make this explicit in the README integration section and next to the
bazel_dep itself, and add a dedicated workflow that appends a
single_version_override for the newest BCR Eigen 5 release and runs
the full test suite, so the compatibility claim stays verified as new
Eigen versions land. The override is appended in CI rather than
committed because single_version_override is only honored in the root
module and would otherwise force the pin on consumers.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant