mathlib3
f8cbb3e4 - chore(.docker): don't install unnecessary toolchains (#10363)

Commit

4 years ago

chore(.docker): don't install unnecessary toolchains (#10363) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents