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 divByMonic-linearity

  completed successfully:
  Run pre-commit and in-place update PR on push#1:Commitab1a784pushedbyJuanCoRo
  divByMonic-linearity

  Sep 1, 202633s
  More actions for workflow run 1