Autolabel PRs

Workflow runs for Autolabel PRs

• Merge branch 'master' into frobenius_algebra

  skipped:
  Autolabel PRs#70:Commit9a86e3epushedbythemathqueen
  frobenius_algebra

  Jul 22, 20261s
  More actions for workflow run 70

• Merge branch 'master' into extreme_unital

  skipped:
  Autolabel PRs#69:Commitfa8915apushedbythemathqueen
  extreme_unital

  Jul 19, 2026Skipped
  More actions for workflow run 69

• Merge branch 'master' into tensorProduct_mkL

  skipped:
  Autolabel PRs#68:Commitc72df50pushedbythemathqueen
  tensorProduct_mkL

  Jul 13, 20261s
  More actions for workflow run 68

• Merge branch 'master' into UniformSpace.Completion.api

  skipped:
  Autolabel PRs#67:Commitc4aeea3pushedbythemathqueen
  UniformSpace.Completion.api

  Jul 8, 20261s
  More actions for workflow run 67

• fix: remove [IsMinimal R W] from HasSplitMultiplicativeReduction (#41…

  skipped:
  Autolabel PRs#66:Commitdb5c6a6pushedbythemathqueen
  master

  Jul 6, 20261s
  More actions for workflow run 66

• Merge branch 'master' into fix_defeqabuse_meromorphicOrder

  skipped:
  Autolabel PRs#65:Commit6360034pushedbythemathqueen
  fix_defeqabuse_meromorphicOrder

  Jul 5, 20261s
  More actions for workflow run 65

• Merge branch 'master' into add_labels_neBot

  skipped:
  Autolabel PRs#64:Commitf2ca345pushedbythemathqueen
  add_labels_neBot

  Jul 5, 20268s
  More actions for workflow run 64

• Merge branch 'master' into UniformSpace.Completion.api

  skipped:
  Autolabel PRs#63:Commit0ca79fbpushedbythemathqueen
  UniformSpace.Completion.api

  Jun 26, 20266s
  More actions for workflow run 63

• Merge branch 'master' into refactor_orthoProj

  skipped:
  Autolabel PRs#62:Commitb72f576pushedbythemathqueen
  refactor_orthoProj

  Jun 7, 20261s
  More actions for workflow run 62

• Merge branch 'master' into rename_orthoProj

  skipped:
  Autolabel PRs#61:Commit14ed671pushedbythemathqueen
  rename_orthoProj

  Jun 5, 20261s
  More actions for workflow run 61

• Merge branch 'master' into approxunit_pure_one

  skipped:
  Autolabel PRs#60:Commit98a4d20pushedbythemathqueen
  approxunit_pure_one

  Jun 4, 20262s
  More actions for workflow run 60

• feat(Analysis/SpecialFunctions): Taylor series for log (1 + z) (#40…

  skipped:
  Autolabel PRs#59:Commit09acddfpushedbythemathqueen
  master

  Jun 4, 20262s
  More actions for workflow run 59

• feat(CategoryTheory): localizer morphisms which induces fully faithfu…

  skipped:
  Autolabel PRs#58:Commit4cae366pushedbythemathqueen
  master

  May 5, 20261s
  More actions for workflow run 58

• Merge branch 'master' into frobenius_algebra

  skipped:
  Autolabel PRs#57:Commit0243e71pushedbythemathqueen
  frobenius_algebra

  Apr 11, 20261s
  More actions for workflow run 57

• Merge branch 'master' into refactor_algEquiv

  skipped:
  Autolabel PRs#56:Commite82ca60pushedbythemathqueen
  refactor_algEquiv

  Feb 23, 20261s
  More actions for workflow run 56

• ci: add splice-bot action (#33979)

  skipped:
  Autolabel PRs#55:Commitac6e242pushedbythemathqueen
  master

  Feb 17, 20261s
  More actions for workflow run 55

• Merge branch 'master' into tracePositiveLinearMap

  skipped:
  Autolabel PRs#54:Commit93f0958pushedbythemathqueen
  tracePositiveLinearMap

  Feb 17, 20262s
  More actions for workflow run 54

• Merge branch 'master' into adjMatrix_api

  skipped:
  Autolabel PRs#53:Commit77eb2c9pushedbythemathqueen
  adjMatrix_api

  Feb 16, 20261s
  More actions for workflow run 53

• Merge branch 'master' into matrixGNS

  skipped:
  Autolabel PRs#52:Commit35d9875pushedbythemathqueen
  matrixGNS

  Feb 13, 20261s
  More actions for workflow run 52

• Merge branch 'master' into euclideanSpace_qg

  skipped:
  Autolabel PRs#51:Commit0a0eac8pushedbythemathqueen
  euclideanSpace_qg

  Feb 13, 20261s
  More actions for workflow run 51

• Merge branch 'master' into clm_intrinsicStar

  skipped:
  Autolabel PRs#50:Commitf0ee407pushedbythemathqueen
  clm_intrinsicStar

  Feb 10, 20262s
  More actions for workflow run 50

• Merge branch 'master' into convIntrinsicStarRing

  skipped:
  Autolabel PRs#49:Commita8e9f63pushedbythemathqueen
  convIntrinsicStarRing

  Feb 10, 20261s
  More actions for workflow run 49

• Merge branch 'master' into euclideanSpace_qg

  skipped:
  Autolabel PRs#48:Commit34db7d9pushedbythemathqueen
  euclideanSpace_qg

  Feb 9, 20261s
  More actions for workflow run 48

• WithConv matrix

  skipped:
  Autolabel PRs#47:Commit189b14dpushedbythemathqueen
  withConv_matrix

  Feb 8, 2026Skipped
  More actions for workflow run 47

• ci: adapt auto-merge check for GitHub apps bots (#34980)

  skipped:
  Autolabel PRs#46:Commit26e91fapushedbythemathqueen
  master

  Feb 8, 20261s
  More actions for workflow run 46