Add Lean release tag

Workflow runs for Add Lean release tag

• perf(univariate): skip redundant trim in CPolynomial.divX (#225)

  failed:
  Add Lean release tag#2:Commit2e7f976pushedbyerdkocak
  master

  May 20, 20269s
  More actions for workflow run 2

• Merge branch 'master' into master

  failed:
  Add Lean release tag#1:Commit77a0986pushedbyerdkocak
  master

  May 12, 202615s
  More actions for workflow run 1