Skip to content

Eliminate duplicate pre-commit GitHub Actions workflow #7113

Open
@maresb

Description

@maresb

Description

The current pre-commit workflow should be renamed to mypy and the pre-commit part removed. We should try to run the hooks on the oldest supported Python to get a fast fail when someone uses a too-modern Python feature.

Note that #7112 deletes the pre-commit autoupdate workflow while here I'm proposing to modify the main pre-commit workflow.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions