Skip to content

Merge branch 'main' into enhancement/leaderboard #71

Merge branch 'main' into enhancement/leaderboard

Merge branch 'main' into enhancement/leaderboard #71

Workflow file for this run

name: pre-commit
on: [push, pull_request]
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.x'
- run: pip install pre-commit
- run: pre-commit run --all-files