mathlib

354a4ed1 - chore(ci): remove unneeded Lean version restrictions (#2065)

chore(ci): remove unneeded Lean version restrictions (#2065) * remove lean version from CI * more version references * fix? * persist environment var between steps