mathlib3

d615ee67 - feat(ci): skip Azure upload if archive already exists (#2039)

feat(ci): skip Azure upload if archive already exists (#2039) * skip upload if archive already exists * simplify script * remove unused variable * fix Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>