Autolabel PRs

Workflow runs for Autolabel PRs

• update doc

  skipped:
  Autolabel PRs#34:Commit97340e1pushedbystaroperator
  order_pfilter

  May 13, 20261s
  More actions for workflow run 34

• ci(shake.yaml): do not shake Archive and Counterexamples yet (#39314)

  skipped:
  Autolabel PRs#33:Commit21b745fpushedbystaroperator
  master

  May 13, 202610s
  More actions for workflow run 33

• fix again

  skipped:
  Autolabel PRs#32:Commitdf89ac9pushedbystaroperator
  order_pfilter

  Apr 24, 20262s
  More actions for workflow run 32

• chore: remove superfluous opens (#38462)

  skipped:
  Autolabel PRs#31:Commitca31f02pushedbystaroperator
  master

  Apr 24, 20261s
  More actions for workflow run 31

• fix

  skipped:
  Autolabel PRs#30:Commit000e0dfpushedbystaroperator
  order_pfilter

  Apr 24, 20269s
  More actions for workflow run 30

• reprove

  skipped:
  Autolabel PRs#29:Commite969f2cpushedbystaroperator
  delta_system_lemma

  Apr 20, 20261s
  More actions for workflow run 29

• apply suggestions

  skipped:
  Autolabel PRs#28:Commit68afb55pushedbystaroperator
  order_ideals

  Apr 14, 20262s
  More actions for workflow run 28

• apply suggestion

  skipped:
  Autolabel PRs#27:Commit20495d0pushedbystaroperator
  finite_distrib

  Apr 14, 20261s
  More actions for workflow run 27

• Merge branch 'master' into set_uncountable

  skipped:
  Autolabel PRs#26:Commit67489f0pushedbystaroperator
  set_uncountable

  Apr 14, 20261s
  More actions for workflow run 26

• feat(Topology/Convenient): X-continuous maps (#37792)

  skipped:
  Autolabel PRs#25:Commit7c260e7pushedbystaroperator
  master

  Apr 14, 20261s
  More actions for workflow run 25

• apply suggestions

  skipped:
  Autolabel PRs#24:Commit49b29f1pushedbystaroperator
  infinite_pigeonhole

  Feb 24, 20262s
  More actions for workflow run 24

• reprove

  skipped:
  Autolabel PRs#23:Commit5241adfpushedbystaroperator
  delta_system_lemma

  Feb 22, 20261s
  More actions for workflow run 23

• chore(scripts): update nolints.json (#35618)

  skipped:
  Autolabel PRs#22:Commit35029c2pushedbystaroperator
  master

  Feb 22, 20261s
  More actions for workflow run 22

• apply suggestions

  skipped:
  Autolabel PRs#21:Commit304b8f5pushedbystaroperator
  infinite_pigeonhole

  Feb 17, 20262s
  More actions for workflow run 21

• chore: improve notation in log counting function of Value Distributio…

  skipped:
  Autolabel PRs#20:Commiteccf962pushedbystaroperator
  master

  Feb 3, 20261s
  More actions for workflow run 20

• generalize

  skipped:
  Autolabel PRs#19:Commit7542801pushedbystaroperator
  delta_system_lemma

  Feb 2, 20261s
  More actions for workflow run 19

• unsimp

  skipped:
  Autolabel PRs#18:Commitb995b1fpushedbystaroperator
  set_uncountable

  Jan 30, 20261s
  More actions for workflow run 18

• update

  skipped:
  Autolabel PRs#17:Commit9262e11pushedbystaroperator
  fun_prop_forall

  Jan 30, 20261s
  More actions for workflow run 17

• fix

  skipped:
  Autolabel PRs#16:Commita0d10e0pushedbystaroperator
  zfset_omega

  Jan 29, 20261s
  More actions for workflow run 16

• apply suggestion

  skipped:
  Autolabel PRs#15:Commit1bcc29bpushedbystaroperator
  semilinear

  Jan 29, 20261s
  More actions for workflow run 15

• feat(Algebra/Order): multiplicative versions of lemmas on (pre)images…

  skipped:
  Autolabel PRs#14:Commitf821781pushedbystaroperator
  master

  Jan 29, 20261s
  More actions for workflow run 14

• Merge branch 'master' into nat_closure_one

  skipped:
  Autolabel PRs#13:Commit20db0e2pushedbystaroperator
  nat_closure_one

  Jan 16, 20261s
  More actions for workflow run 13

• Merge branch 'master' into fun_prop_forall

  skipped:
  Autolabel PRs#12:Commit91ec9f6pushedbystaroperator
  fun_prop_forall

  Jan 11, 20261s
  More actions for workflow run 12

• feat(Topology/Separation): completely normal iff hereditarily normal …

  skipped:
  Autolabel PRs#11:Commit19e41d0pushedbystaroperator
  master

  Jan 11, 2026Skipped
  More actions for workflow run 11

• feat(Algebra/Homology): K-projective cochain complexes (#32741)

  skipped:
  Autolabel PRs#10:Commit95b192fpushedbystaroperator
  master

  Dec 12, 20251s
  More actions for workflow run 10