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

gitlab CI generates deb11 images #8384

Merged
merged 1 commit into from
Sep 18, 2022
Merged

gitlab CI generates deb11 images #8384

merged 1 commit into from
Sep 18, 2022

Conversation

ulysses4ever
Copy link
Collaborator

@ulysses4ever ulysses4ever commented Aug 16, 2022 •
edited
Loading

It's a half of solution for #8376 (see #8376 (comment)). It's tested to at least succeed on GitLab.

Please include the following checklist in your PR:

Please also shortly describe how you tested your change. Bonus points for added tests!

@ulysses4ever
Copy link
Collaborator Author

Does it need a changelog / documentation?

@Mikolaj
Copy link
Member

Mikolaj commented Aug 16, 2022

Does it need a changelog / documentation?

A quick grep in cabal repo including changelog.d/ content for the 3.8 release turns out nothing for deb10, so I guess we can pass.

@Mikolaj
Copy link
Member

Mikolaj commented Aug 16, 2022

@mergify rebase

@mergify
Copy link
Contributor

mergify bot commented Aug 16, 2022

rebase

✅ Branch has been successfully rebased

andreasabel
andreasabel approved these changes Aug 18, 2022
View reviewed changes
Copy link
Member

@andreasabel andreasabel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved, but I have no domain knowledge.

@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Sep 1, 2022
@ulysses4ever ulysses4ever removed the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Sep 3, 2022
@ulysses4ever
Copy link
Collaborator Author

@mergify refresh

@mergify
Copy link
Contributor

mergify bot commented Sep 17, 2022

refresh

✅ Pull request refreshed

@ulysses4ever ulysses4ever added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days and removed attention: needs-review labels Sep 17, 2022
@ulysses4ever
Copy link
Collaborator Author

@mergify refresh

@mergify
Copy link
Contributor

mergify bot commented Sep 17, 2022

refresh

✅ Pull request refreshed

@ulysses4ever ulysses4ever added the merge me Tell Mergify Bot to merge label Sep 17, 2022
@ulysses4ever
Copy link
Collaborator Author

@mergify refresh

@mergify
Copy link
Contributor

mergify bot commented Sep 17, 2022

refresh

✅ Pull request refreshed

@mergify mergify bot merged commit 182e2c1 into master Sep 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@andreasabel andreasabel andreasabel approved these changes

@Mikolaj Mikolaj Mikolaj approved these changes

Assignees
No one assigned
Labels
continuous-integration merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ulysses4ever @Mikolaj @andreasabel @andreabedini