commit | 82ef6475e665ca8ae1542822a485c98a067e1834 | [log] [tgz] |
---|---|---|
author | pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com> | Mon Apr 29 23:47:58 2024 +0200 |
committer | GitHub <noreply@github.com> | Mon Apr 29 23:47:58 2024 +0200 |
tree | c12c2cc4d540866ae013a0216330a533abcb1dee | |
parent | 88d21ea27cd7e83f22d975bf9fc5c5706466d45e [diff] |
Upgrade tools from the pre-commit configuration (#9565) Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>