Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pipeline maintenance, require Python 3.10+ #2550

Merged
merged 6 commits into from
Jul 27, 2023
Merged

Pipeline maintenance, require Python 3.10+ #2550

merged 6 commits into from
Jul 27, 2023

Conversation

amolenaar
Copy link
Member

@amolenaar amolenaar commented Jul 26, 2023

PR Type

What kind of change does this PR introduce?

  • Bug fix
  • Feature
  • Chore (refactoring, formatting, local variables, other cleanup)
  • Documentation content changes

What is the new behavior?

Fix some odds and ends:

  • test step labels
  • improve hardening rules
  • Bump minimal Python version to 3.10
  • Update certifi, fixing a security vulnerability.

Does this PR introduce a breaking change?

  • Yes
  • No

Other information

@amolenaar amolenaar marked this pull request as draft July 26, 2023 07:39
@github-actions github-actions bot added the python Pull requests that update Python code label Jul 26, 2023
@amolenaar amolenaar marked this pull request as ready for review July 26, 2023 19:11
@amolenaar amolenaar requested a review from danyeaw July 26, 2023 19:11
Copy link
Member

@danyeaw danyeaw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool. I especially Iike that you explicitly defined the expected endpoints for the lint step 👍

@danyeaw danyeaw added chore Maintenance related PR and removed python Pull requests that update Python code labels Jul 27, 2023
@danyeaw danyeaw changed the title Pipeline maintenance Pipeline maintenance, require Python 3.10+ Jul 27, 2023
@danyeaw danyeaw merged commit 5529a50 into main Jul 27, 2023
33 checks passed
@danyeaw danyeaw deleted the chore-pipelines branch July 27, 2023 01:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Maintenance related PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants