Skip to content

Merge branch '20241007/main' into 20241007/nickconway/leader-key #120

Merge branch '20241007/main' into 20241007/nickconway/leader-key

Merge branch '20241007/main' into 20241007/nickconway/leader-key #120

Workflow file for this run

name: pre-commit
on:
pull_request:
push:
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: 3.x
- uses: pre-commit/[email protected]