Run pre-commit and in-place update PR on push

Workflow runs for Run pre-commit and in-place update PR on push

• Merge branch 'master' into h1connected

  completed successfully:
  Run pre-commit and in-place update PR on push#1311:Commit463a1f4pushedbyCoolRmal
  h1connected

  Oct 20, 202625s
  More actions for workflow run 1311

• address comments

  completed successfully:
  Run pre-commit and in-place update PR on push#1310:Commitfe337a4pushedbyCoolRmal
  h1connected

  Oct 20, 202634s
  More actions for workflow run 1310

• feat(Topology/Connected): name bounded components

  completed successfully:
  Run pre-commit and in-place update PR on push#1309:Commit1c5ee65pushedbyCoolRmal
  h1connected

  Sep 30, 202633s
  More actions for workflow run 1309

• fix: add missing in in the rwaSuggestion for-binder

  completed successfully:
  Run pre-commit and in-place update PR on push#1308:Commitd4d0be2pushedbyCoolRmal
  rwaSuggestion

  Sep 4, 202638s
  More actions for workflow run 1308

• Merge branch 'master' into rwaSuggestion

  completed successfully:
  Run pre-commit and in-place update PR on push#1307:Commit47f2450pushedbyCoolRmal
  rwaSuggestion

  Sep 4, 202631s
  More actions for workflow run 1307

• Update Mathlib/Tactic/TacticAnalysis/Declarations.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#1306:Commit22e8623pushedbyCoolRmal
  rwaSuggestion

  Sep 4, 202625s
  More actions for workflow run 1306

• Merge branch 'master' into rwaSuggestion

  completed successfully:
  Run pre-commit and in-place update PR on push#1305:Commit2ebba44pushedbyCoolRmal
  rwaSuggestion

  Sep 2, 202632s
  More actions for workflow run 1305

• add a test

  completed successfully:
  Run pre-commit and in-place update PR on push#1304:Commitfbf65e2pushedbyCoolRmal
  rwaSuggestion

  Sep 2, 202629s
  More actions for workflow run 1304

• add linter

  completed successfully:
  Run pre-commit and in-place update PR on push#1303:Commitdecaf90pushedbyCoolRmal
  ifthen

  Aug 17, 202633s
  More actions for workflow run 1303

• Merge branch 'master' into codex/tfae-congr-append

  completed successfully:
  Run pre-commit and in-place update PR on push#1302:Commitb9c9ba0pushedbyCoolRmal
  codex/tfae-congr-append

  Aug 16, 202624s
  More actions for workflow run 1302

• Update Mathlib/Tactic/TFAE.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#1301:Commitacfd974pushedbyCoolRmal
  codex/tfae-congr-append

  Aug 16, 202628s
  More actions for workflow run 1301

• Update Mathlib/Tactic/TFAE.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#1300:Commit25c1150pushedbyCoolRmal
  codex/tfae-congr-append

  Aug 16, 202625s
  More actions for workflow run 1300

• minor

  completed successfully:
  Run pre-commit and in-place update PR on push#1299:Commite1267efpushedbyCoolRmal
  codex/tfae-congr-append

  Aug 14, 202625s
  More actions for workflow run 1299

• fix CI issue

  completed successfully:
  Run pre-commit and in-place update PR on push#1298:Commitd27a5c2pushedbyCoolRmal
  codex/tfae-congr-append

  Aug 14, 202626s
  More actions for workflow run 1298

• Merge remote-tracking branch 'refs/remotes/origin/codex/tfae-congr-ap…

  completed successfully:
  Run pre-commit and in-place update PR on push#1297:Commit248f5e6pushedbyCoolRmal
  codex/tfae-congr-append

  Aug 14, 202634s
  More actions for workflow run 1297

• Apply suggestion from @YaelDillies

  completed successfully:
  Run pre-commit and in-place update PR on push#1296:Commit5f10dabpushedbyCoolRmal
  codex/tfae-congr-append

  Aug 14, 202629s
  More actions for workflow run 1296

• Merge branch 'master' into codex/tfae-congr-append

  completed successfully:
  Run pre-commit and in-place update PR on push#1295:Commit465c566pushedbyCoolRmal
  codex/tfae-congr-append

  Aug 13, 202630s
  More actions for workflow run 1295

• fix

  completed successfully:
  Run pre-commit and in-place update PR on push#1294:Commit380a01cpushedbyCoolRmal
  rwaSuggestion

  Aug 13, 202625s
  More actions for workflow run 1294

• fix

  completed successfully:
  Run pre-commit and in-place update PR on push#1293:Commit8d7ff00pushedbyCoolRmal
  rwaSuggestion

  Aug 13, 202636s
  More actions for workflow run 1293

• Merge branch 'master' into rwaSuggestion

  completed successfully:
  Run pre-commit and in-place update PR on push#1292:Commit041ff5dpushedbyCoolRmal
  rwaSuggestion

  Aug 13, 202631s
  More actions for workflow run 1292

• less tests

  completed successfully:
  Run pre-commit and in-place update PR on push#1291:Commit06f1ef6pushedbyCoolRmal
  rwaSuggestion

  Aug 13, 202639s
  More actions for workflow run 1291

• feat(TacticAnalysis): suggest rwa for rw followed by assumption

  completed successfully:
  Run pre-commit and in-place update PR on push#1290:Commit8f71ccbpushedbyCoolRmal
  rwaSuggestion

  Aug 13, 202625s
  More actions for workflow run 1290

• Merge branch 'master' into h1connected

  completed successfully:
  Run pre-commit and in-place update PR on push#1289:Commitad52e27pushedbyCoolRmal
  h1connected

  Aug 12, 202629s
  More actions for workflow run 1289

• [codex] Add finset supremum and infimum convergence lemmas

  completed successfully:
  Run pre-commit and in-place update PR on push#1288:Pull request#8synchronizebyCoolRmal
  codex/tendsto-finset-sup-isup

  Aug 11, 202624s
  More actions for workflow run 1288

• Merge branch 'master' into codex/tendsto-finset-sup-isup

  completed successfully:
  Run pre-commit and in-place update PR on push#1287:Commit661c14dpushedbyCoolRmal
  codex/tendsto-finset-sup-isup

  Aug 11, 202634s
  More actions for workflow run 1287