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

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

• fix: directory dependency fix?

  completed successfully:
  Run pre-commit and in-place update PR on push#1006:Commit7e96a31pushedbythorimur
  header-linter-root-path

  Oct 20, 202643s
  More actions for workflow run 1006

• feat: access library root path correctly

  completed successfully:
  Run pre-commit and in-place update PR on push#1005:Commit9bcf8afpushedbythorimur
  header-linter-root-path

  Oct 20, 202646s
  More actions for workflow run 1005

• chore: improve comment

  completed successfully:
  Run pre-commit and in-place update PR on push#1004:Commitf70a744pushedbythorimur
  format-imports-header

  Oct 19, 202642s
  More actions for workflow run 1004

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  completed successfully:
  Run pre-commit and in-place update PR on push#1003:Commit50dbccbpushedbythorimur
  format-imports-header

  Oct 19, 202635s
  More actions for workflow run 1003

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  completed successfully:
  Run pre-commit and in-place update PR on push#1002:Commit7a0ebcbpushedbythorimur
  format-imports-header

  Oct 18, 202628s
  More actions for workflow run 1002

• chore: update drifting files

  completed successfully:
  Run pre-commit and in-place update PR on push#1001:Commitc67bd00pushedbythorimur
  format-imports-header

  Oct 18, 202627s
  More actions for workflow run 1001

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  completed successfully:
  Run pre-commit and in-place update PR on push#1000:Commit38d25e4pushedbythorimur
  format-imports-header

  Oct 17, 202627s
  More actions for workflow run 1000

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  completed successfully:
  Run pre-commit and in-place update PR on push#999:Commit641471epushedbythorimur
  format-imports-header

  Oct 14, 202628s
  More actions for workflow run 999

• chore: update drift

  completed successfully:
  Run pre-commit and in-place update PR on push#998:Commit042e06fpushedbythorimur
  format-imports-header

  Oct 14, 202621s
  More actions for workflow run 998

• feat: 2026_10_14

  completed successfully:
  Run pre-commit and in-place update PR on push#997:Commite9217eapushedbythorimur
  meta-cafe

  Oct 14, 202631s
  More actions for workflow run 997

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  completed successfully:
  Run pre-commit and in-place update PR on push#996:Commit7e6bfc6pushedbythorimur
  format-imports-header

  Oct 13, 202626s
  More actions for workflow run 996

• chore: update drifting files

  completed successfully:
  Run pre-commit and in-place update PR on push#995:Commitd290f6bpushedbythorimur
  format-imports-header

  Oct 13, 20263m 25s
  More actions for workflow run 995

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  completed successfully:
  Run pre-commit and in-place update PR on push#994:Commitd695f4bpushedbythorimur
  format-imports-header

  Oct 13, 20261m 14s
  More actions for workflow run 994

• chore: mk_all

  completed successfully:
  Run pre-commit and in-place update PR on push#993:Commite052c4fpushedbythorimur
  trace-class-linter

  Oct 13, 202625s
  More actions for workflow run 993

• fix: generalize to used trace class

  completed successfully:
  Run pre-commit and in-place update PR on push#992:Commit1a16822pushedbythorimur
  trace-class-linter

  Oct 13, 202624s
  More actions for workflow run 992

• chore: see through binds?

  completed successfully:
  Run pre-commit and in-place update PR on push#991:Commit2e5d47epushedbythorimur
  trace-class-linter

  Oct 13, 202624s
  More actions for workflow run 991

• chore: mk_all

  completed successfully:
  Run pre-commit and in-place update PR on push#990:Commit7c5b52apushedbythorimur
  trace-class-linter

  Oct 13, 202625s
  More actions for workflow run 990

• feat: unused trace class linter

  completed successfully:
  Run pre-commit and in-place update PR on push#989:Commit83463b3pushedbythorimur
  trace-class-linter

  Oct 13, 202632s
  More actions for workflow run 989

• chore: test files

  completed successfully:
  Run pre-commit and in-place update PR on push#988:Commitc3b8c57pushedbythorimur
  format-imports-header

  Oct 12, 202625s
  More actions for workflow run 988

• chore: restrict to mathlib for now?

  completed successfully:
  Run pre-commit and in-place update PR on push#987:Commit061d41cpushedbythorimur
  format-imports-header

  Oct 12, 202624s
  More actions for workflow run 987

• chore: fix unformatted imports that crept in

  completed successfully:
  Run pre-commit and in-place update PR on push#986:Commit60af689pushedbythorimur
  format-imports-header

  Oct 12, 202625s
  More actions for workflow run 986

• chore: test turning off

  completed successfully:
  Run pre-commit and in-place update PR on push#985:Commitb5a44f3pushedbythorimur
  format-imports-header

  Oct 12, 202628s
  More actions for workflow run 985

• feat: lint import formatting

  completed successfully:
  Run pre-commit and in-place update PR on push#984:Commita7a63b1pushedbythorimur
  format-imports-header

  Oct 12, 202630s
  More actions for workflow run 984

• chore: do not format

  completed successfully:
  Run pre-commit and in-place update PR on push#983:Commit2065829pushedbythorimur
  format-imports

  Oct 9, 202631s
  More actions for workflow run 983

• test: update hint suggestions after import reordering

  completed successfully:
  Run pre-commit and in-place update PR on push#982:Commit27775b5pushedbythorimur
  format-imports

  Oct 9, 202620s
  More actions for workflow run 982