Merged PR

chore: Add pre-commit/pygrep-hooks to pre-commit hooks #952

Sign in to view logs

Triggered via pull request November 17, 2023 20:30

matthewfeickert

closed #2382

chore/add-pygrep-hooks

Status Success

Total duration 20s

Artifacts –

merged.yml

on: pull_request

Trigger Binder build