Skip to content

bugfix: double delete of pidfile #1042

bugfix: double delete of pidfile

bugfix: double delete of pidfile #1042

Workflow file for this run

name: Linting
on:
push:
pull_request:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
- name: Run pre-commit linting
uses: pre-commit/[email protected]