Skip to content
This repository was archived by the owner on Oct 9, 2023. It is now read-only.

bump min PL to 1.7 #1596

Merged
merged 1 commit into from
Jun 16, 2023
Merged

bump min PL to 1.7 #1596

merged 1 commit into from
Jun 16, 2023

Conversation

Borda
Copy link
Member

@Borda Borda commented Jun 16, 2023

What does this PR do?

Setting min PL version to 1.7 to narrow the installation range

Before submitting

  • Was this discussed/approved via a Github issue? (no need for typos and docs improvements)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure your PR does only one thing, instead of bundling different changes together?
  • Did you make sure to update the documentation with your changes?
  • Did you write any new necessary tests? [not needed for typos/docs]
  • Did you verify new and existing tests pass locally with your changes?
  • If you made a notable change (that affects users), did you update the CHANGELOG?

PR review

  • Is this pull request ready for review? (if not, please submit in draft mode)

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in Github issues there's a high chance it will not be merged.

Did you have fun?

Make sure you had fun coding 🙃

@Borda Borda requested a review from ethanwharris as a code owner June 16, 2023 21:40
@codecov
Copy link

codecov bot commented Jun 16, 2023

Codecov Report

Merging #1596 (d662d45) into master (02157ae) will decrease coverage by 4%.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##           master   #1596    +/-   ##
=======================================
- Coverage      86%     82%    -4%     
=======================================
  Files         291     291            
  Lines       12874   12874            
=======================================
- Hits        11017   10533   -484     
- Misses       1857    2341   +484     

@Borda Borda merged commit 9dd91af into master Jun 16, 2023
@Borda Borda deleted the req/pl branch June 16, 2023 22:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant