Merge main to nightly

Workflow runs for Merge main to nightly

• fix: grant pull-requests: write to labels-from-comments workflow (#1988)

  completed successfully:
  Merge main to nightly#886:Commitd1d9636pushedbykim-em
  main

  Sep 27, 202612s
  More actions for workflow run 886

• chore: remove lean-pr-testing-* infrastructure (#1960)

  completed successfully:
  Merge main to nightly#885:Commit33131f4pushedbyfgdorais
  main

  Sep 24, 202614s
  More actions for workflow run 885

• chore: bump toolchain to v4.35.0-rc3 (#1977)

  completed successfully:
  Merge main to nightly#884:Commit3b7c810pushedbyGarmelon
  main

  Sep 24, 202616s
  More actions for workflow run 884

• ci: declare GITHUB_TOKEN permissions on jobs that write (#1973)

  completed successfully:
  Merge main to nightly#883:Commita2ed96bpushedbyfgdorais
  main

  Sep 22, 202625s
  More actions for workflow run 883

• fix: keep Lean metaprogramming imports out of runtime exports (#1971)

  completed successfully:
  Merge main to nightly#882:Commit167242epushedbygithub-merge-queue[bot]Bot
  main

  Sep 21, 202619s
  More actions for workflow run 882

• chore: bump toolchain to v4.35.0-rc2 (#1969)

  completed successfully:
  Merge main to nightly#881:Commited9b316pushedbygithub-merge-queue[bot]Bot
  main

  Sep 16, 202617s
  More actions for workflow run 881

• chore: bump toolchain to v4.35.0-rc1 (#1966)

  completed successfully:
  Merge main to nightly#880:Commit2a71587pushedbygithub-merge-queue[bot]Bot
  main

  Sep 15, 202613s
  More actions for workflow run 880

• chore: bump toolchain to v4.34.0 (#1964)

  completed successfully:
  Merge main to nightly#879:Commitf2effa3pushedbygithub-merge-queue[bot]Bot
  main

  Sep 14, 202613s
  More actions for workflow run 879

• fix: unknown identifier when ❰…❱ references share a dependency (#1959)

  completed successfully:
  Merge main to nightly#878:Commit3b4ce08pushedbygithub-merge-queue[bot]Bot
  main

  Sep 10, 202616s
  More actions for workflow run 878

• refactor: split AssocList into Basic and Lemmas (#1953)

  completed successfully:
  Merge main to nightly#877:Commit7ba4661pushedbygithub-merge-queue[bot]Bot
  main

  Sep 10, 202616s
  More actions for workflow run 877

• feat: support +typeChanged in deprecated attribute (#1948)

  completed successfully:
  Merge main to nightly#876:Commit4cac217pushedbygithub-merge-queue[bot]Bot
  main

  Sep 1, 202623s
  More actions for workflow run 876

• chore: deprecate Lean.Meta.DiscrTree.elements (#1952)

  completed successfully:
  Merge main to nightly#875:Commit7e23602pushedbygithub-merge-queue[bot]Bot
  main

  Aug 27, 202612s
  More actions for workflow run 875

• chore: bump toolchain to v4.34.0-rc2 (#1951)

  completed successfully:
  Merge main to nightly#874:Commitd54dddcpushedbygithub-merge-queue[bot]Bot
  main

  Aug 21, 202612s
  More actions for workflow run 874

• chore: delete old deprecations (#1950)

  completed successfully:
  Merge main to nightly#873:Commitd4514bapushedbygithub-merge-queue[bot]Bot
  main

  Aug 20, 202623s
  More actions for workflow run 873

• perf(lint): collect fvars once in impossibleInstance and explicitVars…

  completed successfully:
  Merge main to nightly#872:Commit36cc05cpushedbygithub-merge-queue[bot]Bot
  main

  Aug 15, 202621s
  More actions for workflow run 872

• chore(Tactic): mark case and congr as @[tactic_alt]s (#1917)

  completed successfully:
  Merge main to nightly#871:Commitf207b55pushedbygithub-merge-queue[bot]Bot
  main

  Aug 14, 202617s
  More actions for workflow run 871

• fix: restore binary heap (#1942)

  completed successfully:
  Merge main to nightly#870:Commit9a86b38pushedbygithub-merge-queue[bot]Bot
  main

  Aug 11, 202618s
  More actions for workflow run 870

• chore: bump toolchain to v4.34.0-rc1 (#1941)

  completed successfully:
  Merge main to nightly#869:Commit01bc479pushedbygithub-merge-queue[bot]Bot
  main

  Aug 10, 202616s
  More actions for workflow run 869

• chore: bump toolchain to v4.33.0 (#1940)

  completed successfully:
  Merge main to nightly#868:Commit4488d40pushedbygithub-merge-queue[bot]Bot
  main

  Aug 10, 202616s
  More actions for workflow run 868

• feat: don't consider private names autogenerated in isAutoDecl (#1831)

  completed successfully:
  Merge main to nightly#867:Commit45f65c8pushedbygithub-merge-queue[bot]Bot
  main

  Aug 8, 202619s
  More actions for workflow run 867

• chore: bump toolchain to v4.33.0-rc2 (#1939)

  completed successfully:
  Merge main to nightly#866:Commit76e1c11pushedbygithub-merge-queue[bot]Bot
  main

  Aug 3, 202620s
  More actions for workflow run 866

• docs: fix 'prova' typo in Array.Basic TODO (#1934)

  completed successfully:
  Merge main to nightly#865:Commit0ecf899pushedbygithub-merge-queue[bot]Bot
  main

  Aug 1, 202620s
  More actions for workflow run 865

• docs: fix missing 'to' in lake update README sentence (#1933)

  completed successfully:
  Merge main to nightly#864:Commit2963c24pushedbygithub-merge-queue[bot]Bot
  main

  Jul 31, 202624s
  More actions for workflow run 864

• fix: show (currently: …) for dotted options in #help option (#1928)

  completed successfully:
  Merge main to nightly#863:Commit654b210pushedbygithub-merge-queue[bot]Bot
  main

  Jul 31, 202613s
  More actions for workflow run 863

• feat: add List.swap primitive. (#1927)

  completed successfully:
  Merge main to nightly#862:Commitae82a25pushedbygithub-merge-queue[bot]Bot
  main

  Jul 29, 202613s
  More actions for workflow run 862