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.

Sign up for GitHub

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

Jump to bottom

Ubuntu php8.2-pcov not available yet #1891

Closed
2 tasks done
spaze opened this issue Dec 19, 2022 · 1 comment
Closed
2 tasks done

Ubuntu php8.2-pcov not available yet #1891

spaze opened this issue Dec 19, 2022 · 1 comment

Comments

@spaze
Copy link
Sponsor

spaze commented Dec 19, 2022 •
edited
Loading

Frequently asked questions

  • I have read Frequently Asked Questions
  • I have looked at the list of the existing issues (including closed issues) and searched if my issue has been already reported

Hi, can you please check and prepare/build php8.2-pcov Ubuntu extension? I have seen it mentioned several times in #1840 (and have waited a few days before filing this 😅) but can't find it here so maybe it got overlooked or possibly there's a hidden issue somewhere https://ppa.launchpadcontent.net/ondrej/php/ubuntu/pool/main/p/php-pcov/

Thank you!
@spaze spaze mentioned this issue Dec 19, 2022
Closed
7 tasks
@oerdnj
Copy link
Owner

oerdnj commented Dec 19, 2022

Yeah, the upload to PPA has failed for some reason. Uploaded, it should be available in couple minutes.

@oerdnj oerdnj closed this as completed Dec 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@oerdnj @spaze