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

mkosi ci: enable jammy-proposed #30071

Merged
merged 1 commit into from Nov 17, 2023
Merged

mkosi ci: enable jammy-proposed #30071

merged 1 commit into from Nov 17, 2023

Conversation

bluca
Copy link
Member

@bluca bluca commented Nov 17, 2023

This will bring in the fix for rawhide/tumbleweed builds (new libsolv capable of handling zstd). If all goes well it will migrate to jammy proper in a week and it can be reverted

Copy link

An -rc1 tag has been created and a release is being prepared, so please note that PRs introducing new features and APIs will be held back until the new version has been released.

This will bring in the fix for rawhide/tumbleweed builds (new libsolv
capable of handling zstd). If all goes well it will migrate to jammy
proper in a week and it can be reverted
@bluca bluca marked this pull request as ready for review November 17, 2023 12:30
@github-actions github-actions bot added the please-review PR is ready for (re-)review by a maintainer label Nov 17, 2023
@bluca bluca added priority Stuff that should enter master quickly, since it fixes a major bug, unbreaks CI or stalls other work quick-review 🏃‍♂️ labels Nov 17, 2023
@mrc0mmand mrc0mmand added the good-to-merge/waiting-for-ci 👍 PR is good to merge, but CI hasn't passed at time of review. Please merge if you see CI has passed label Nov 17, 2023
@mrc0mmand mrc0mmand merged commit 48bfc67 into systemd:main Nov 17, 2023
41 checks passed
@github-actions github-actions bot removed please-review PR is ready for (re-)review by a maintainer good-to-merge/waiting-for-ci 👍 PR is good to merge, but CI hasn't passed at time of review. Please merge if you see CI has passed labels Nov 17, 2023
@mrc0mmand mrc0mmand added good-to-merge/waiting-for-ci 👍 PR is good to merge, but CI hasn't passed at time of review. Please merge if you see CI has passed and removed quick-review 🏃‍♂️ labels Nov 17, 2023
@bluca bluca deleted the test branch November 17, 2023 14:14
@keszybz keszybz removed the good-to-merge/waiting-for-ci 👍 PR is good to merge, but CI hasn't passed at time of review. Please merge if you see CI has passed label Nov 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci mkosi priority Stuff that should enter master quickly, since it fixes a major bug, unbreaks CI or stalls other work tests
Development

Successfully merging this pull request may close these issues.

None yet

3 participants