Skip to content

Use common job names for linting and formatting (Ruff)#51

Merged
bittner merged 3 commits intomainfrom
feature/common-names-for-ruff-tasks
Feb 9, 2024
Merged

Use common job names for linting and formatting (Ruff)#51
bittner merged 3 commits intomainfrom
feature/common-names-for-ruff-tasks

Conversation

@bittner
Copy link
Copy Markdown
Member

@bittner bittner commented Feb 8, 2024

For a better developer experience, we use the name "lint" along with "format" to perform basic quality assurance.

In addition, we drop Python 3.8 as the baseline Python version for our examples.

@bittner bittner self-assigned this Feb 8, 2024
@bittner bittner force-pushed the feature/common-names-for-ruff-tasks branch 3 times, most recently from 5744969 to db9ccad Compare February 9, 2024 07:21
@bittner bittner force-pushed the feature/common-names-for-ruff-tasks branch from db9ccad to 0a5ff30 Compare February 9, 2024 07:26
@bittner bittner merged commit a1c687f into main Feb 9, 2024
@bittner bittner deleted the feature/common-names-for-ruff-tasks branch February 9, 2024 07:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant