mathlib
f6c77be6 - fix(ci): always use python3 executable (#9531)

Commit
4 years ago
fix(ci): always use python3 executable (#9531) On many (particularly older) systems, the `python` command can refer to `python2` instead of `python3`. Therefore we change all `python` calls to `python3` to prevent failures on some self-hosted runners.
Author
Parents
Loading