Closed cbm755 closed 2 years ago
CI: "apt install --no-recommends" for slimmer jobs CI: move some action to v3 CI: split Ubuntu job into apt sympy and pip sympy
Fixes #1179. Fixes #1186.
Thanks, will merge when pipeline succeeds
Fixes #1179. Fixes #1186.