mathlib3

chore(ci): remove unused olean-rs setup from build

#1932

Merged