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

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

• fix docs

  completed successfully:
  Run pre-commit and in-place update PR on push#789:Commit47b9467pushedbysmmercuri
  valued_liesOver

  Oct 17, 202626s
  More actions for workflow run 789

• Merge branch 'master' of https://github.com/smmercuri/mathlib4 into A…

  completed successfully:
  Run pre-commit and in-place update PR on push#788:Commit015c60apushedbysmmercuri
  AlgEquiv-tidy

  Oct 13, 202630s
  More actions for workflow run 788

• Update Mathlib/NumberTheory/NumberField/AdeleRing.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#787:Commitdc90e12pushedbysmmercuri
  AdeleProductFormula

  Oct 13, 202630s
  More actions for workflow run 787

• naming and docs

  completed successfully:
  Run pre-commit and in-place update PR on push#786:Commit1c3d141pushedbysmmercuri
  valued_liesOver

  Oct 9, 202630s
  More actions for workflow run 786

• docstring

  completed successfully:
  Run pre-commit and in-place update PR on push#785:Commit8a44ae2pushedbysmmercuri
  infinitePlace_algebra

  Oct 9, 202627s
  More actions for workflow run 785

• move RamificationInertia/Valuation.lean

  completed successfully:
  Run pre-commit and in-place update PR on push#784:Commit22d829apushedbysmmercuri
  adicValuation-split

  Oct 9, 202629s
  More actions for workflow run 784

• chore: split RingTheory/DedekindDomain/AdicValuation into AdicValuati…

  completed successfully:
  Run pre-commit and in-place update PR on push#783:Commita3b9ae4pushedbysmmercuri
  adicValuation-split

  Oct 9, 202631s
  More actions for workflow run 783

• split AdicValuation, move ramification of adic valuations

  completed successfully:
  Run pre-commit and in-place update PR on push#782:Commit1ef7616pushedbysmmercuri
  valued_liesOver

  Oct 9, 202623s
  More actions for workflow run 782

• use unscoped completion algebra for infinite places

  completed successfully:
  Run pre-commit and in-place update PR on push#781:Commit655cb90pushedbysmmercuri
  infinitePlace_algebra

  Oct 9, 202631s
  More actions for workflow run 781

• fix imports

  completed successfully:
  Run pre-commit and in-place update PR on push#780:Commit6b084f4pushedbysmmercuri
  valued_liesOver

  Oct 9, 202634s
  More actions for workflow run 780

• Merge branch 'master' of https://github.com/smmercuri/mathlib4 into v…

  completed successfully:
  Run pre-commit and in-place update PR on push#779:Commit8319455pushedbysmmercuri
  valued_liesOver

  Oct 9, 202631s
  More actions for workflow run 779

• Merge branch 'master' of https://github.com/smmercuri/mathlib4 into a…

  completed successfully:
  Run pre-commit and in-place update PR on push#778:Commitfbcfd3fpushedbysmmercuri
  adicCompletion-isValuativeTopology

  Oct 9, 202621s
  More actions for workflow run 778

• fixes

  completed successfully:
  Run pre-commit and in-place update PR on push#777:Commit72b8c7bpushedbysmmercuri
  adicCompletion-isValuativeTopology

  Oct 8, 202637s
  More actions for workflow run 777

• review commentS

  completed successfully:
  Run pre-commit and in-place update PR on push#776:Commit9b6da81pushedbysmmercuri
  adicCompletion-isValuativeTopology

  Oct 8, 202630s
  More actions for workflow run 776

• normalise to IsUnit

  completed successfully:
  Run pre-commit and in-place update PR on push#775:Commitd90cfdcpushedbysmmercuri
  AdeleProductFormula

  Oct 8, 202626s
  More actions for workflow run 775

• review comments

  completed successfully:
  Run pre-commit and in-place update PR on push#774:Commit4a36d9cpushedbysmmercuri
  AdeleProductFormula

  Oct 8, 202635s
  More actions for workflow run 774

• Merge branch 'adicCompletion-isValuativeTopology' into valued_liesOver

  completed successfully:
  Run pre-commit and in-place update PR on push#773:Commit54ac572pushedbysmmercuri
  valued_liesOver

  Sep 29, 202627s
  More actions for workflow run 773

• weaken of_isInducing slightly

  completed successfully:
  Run pre-commit and in-place update PR on push#772:Commit49ea3cbpushedbysmmercuri
  adicCompletion-isValuativeTopology

  Sep 29, 202622s
  More actions for workflow run 772

• Merge branch 'adicCompletion-isValuativeTopology' into valued_liesOver

  completed successfully:
  Run pre-commit and in-place update PR on push#771:Commit3e42f5epushedbysmmercuri
  valued_liesOver

  Sep 29, 202626s
  More actions for workflow run 771

• Merge branch 'master' of https://github.com/smmercuri/mathlib4 into a…

  completed successfully:
  Run pre-commit and in-place update PR on push#770:Commit36f6954pushedbysmmercuri
  adicCompletion-isValuativeTopology

  Sep 29, 202628s
  More actions for workflow run 770

• Merge branch 'master' of https://github.com/smmercuri/mathlib4 into v…

  completed successfully:
  Run pre-commit and in-place update PR on push#769:Commit07e5c4dpushedbysmmercuri
  valued_liesOver

  Sep 28, 202624s
  More actions for workflow run 769

• IsValuativeTopology transfer

  completed successfully:
  Run pre-commit and in-place update PR on push#768:Commit29673ddpushedbysmmercuri
  adicCompletion-isValuativeTopology

  Sep 28, 202631s
  More actions for workflow run 768

• remove duplicates

  completed successfully:
  Run pre-commit and in-place update PR on push#767:Commitb61fb08pushedbysmmercuri
  valued_liesOver

  Sep 28, 202626s
  More actions for workflow run 767

• fix build

  completed successfully:
  Run pre-commit and in-place update PR on push#766:Commit509728dpushedbysmmercuri
  valued_liesOver

  Sep 28, 202626s
  More actions for workflow run 766

• Merge branch 'master' of https://github.com/smmercuri/mathlib4 into v…

  completed successfully:
  Run pre-commit and in-place update PR on push#765:Commite98d1b9pushedbysmmercuri
  valued_liesOver

  Sep 28, 202634s
  More actions for workflow run 765