Skip to content

Merge pull request #1359 from Codium-ai/tr/is_bot_user #13

Merge pull request #1359 from Codium-ai/tr/is_bot_user

Merge pull request #1359 from Codium-ai/tr/is_bot_user #13

Workflow file for this run

# disabled. We might run it manually if needed.
#name: pre-commit
#
#on:
# pull_request:
# push:
# branches: [main]
#
#jobs:
# pre-commit:
# runs-on: ubuntu-latest
# steps:
# - uses: actions/checkout@v3
# - uses: actions/setup-python@v5
# # SEE https://github.com/pre-commit/action
# - uses: pre-commit/[email protected]