Skip to content

Update Eigen version

Stephen Ryan requested to merge update_eigen into main

From the issue https://github.com/bazelbuild/bazel-central-registry/issues/4355, the github mirror needs to be used so that archive checksum is stable.

Merge request reports

Loading