Skip to content

Fix: Drop support for PHP 7.1#530

Merged
ergebnis-bot merged 1 commit intomainfrom
fix/php7.1
Aug 30, 2020
Merged

Fix: Drop support for PHP 7.1#530
ergebnis-bot merged 1 commit intomainfrom
fix/php7.1

Conversation

@localheinz
Copy link
Copy Markdown
Member

This PR

  • drops support for PHP 7.1

Fixes #529.

@localheinz localheinz self-assigned this Aug 30, 2020
@codecov
Copy link
Copy Markdown

codecov bot commented Aug 30, 2020

Codecov Report

Merging #530 into main will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff            @@
##               main     #530   +/-   ##
=========================================
  Coverage     81.40%   81.40%           
  Complexity       42       42           
=========================================
  Files             4        4           
  Lines           199      199           
=========================================
  Hits            162      162           
  Misses           37       37           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 04a40ae...c9ed7e5. Read the comment docs.

@localheinz localheinz marked this pull request as ready for review August 30, 2020 13:07
@ergebnis-bot ergebnis-bot self-requested a review August 30, 2020 13:14
@ergebnis-bot ergebnis-bot self-assigned this Aug 30, 2020
@ergebnis-bot ergebnis-bot merged commit b7bebff into main Aug 30, 2020
@ergebnis-bot ergebnis-bot deleted the fix/php7.1 branch August 30, 2020 13:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Drop support for PHP 7.1

2 participants