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

feat: switch to distro ptyxis for F40 #1523

Merged
merged 2 commits into from
Jul 21, 2024
Merged

feat: switch to distro ptyxis for F40 #1523

merged 2 commits into from
Jul 21, 2024

Conversation

castrojo
Copy link
Member

ptyxis is in F40 now, this switches the F40 build to just grab it from Fedora. We still build a one off for F39, when that moves out of support we'll completely be on distro ptyxis. 😄 🎊

@dosubot dosubot bot added the size:S This PR changes 10-29 lines, ignoring generated files. label Jul 21, 2024
@castrojo castrojo enabled auto-merge July 21, 2024 15:30
@dosubot dosubot bot added the enhancement New feature or request label Jul 21, 2024
@castrojo castrojo added this pull request to the merge queue Jul 21, 2024
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Jul 21, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Jul 21, 2024
@castrojo castrojo merged commit 65b15d2 into main Jul 21, 2024
54 checks passed
@castrojo castrojo deleted the distro-ptyxis branch July 21, 2024 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request lgtm This PR has been approved by a maintainer size:S This PR changes 10-29 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants