Deprecate deps/eigen3
1 related merge request: !491 deps/eigen3: Use Eigen 3.3.9 from source only on Ubuntu 18, use apt/eigen on newer operating systems
branch
7 jobs
4 minutes 39 seconds, queued for 2 seconds