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

github-actions: report debian version #4737

Merged
merged 1 commit into from
Nov 16, 2023

Conversation

elliefm
Copy link
Contributor

@elliefm elliefm commented Nov 15, 2023

because I don't remember what version this runs, and this way nobody has to, it's right there in the report

@elliefm elliefm added backport-to-3.6 for PRs that are to be backported to 3.6 backport-to-3.4 for PRs that are to be backported to 3.4 backport-to-3.2 for PRs that are to be backported to 3.2 backport-to-3.8 for PRs that are to be backported to 3.8 labels Nov 15, 2023
@elliefm elliefm requested review from rsto and ksmurchison November 15, 2023 00:41
@elliefm
Copy link
Contributor Author

elliefm commented Nov 15, 2023

@elliefm This needs to be backported to all the branches we run CI for. I don't remember what those are, but I'll figure it out when I get there.

@elliefm elliefm force-pushed the v39/ci-debian-version branch from f732863 to 1b16c43 Compare November 15, 2023 02:15
because I don't remember what version this runs, and this way
nobody has to -- it's right there in the report
@elliefm elliefm force-pushed the v39/ci-debian-version branch from 1b16c43 to a214e06 Compare November 15, 2023 02:34
@elliefm elliefm merged commit e6778d7 into cyrusimap:master Nov 16, 2023
1 check passed
@elliefm elliefm removed backport-to-3.6 for PRs that are to be backported to 3.6 backport-to-3.4 for PRs that are to be backported to 3.4 backport-to-3.2 for PRs that are to be backported to 3.2 backport-to-3.8 for PRs that are to be backported to 3.8 labels Nov 16, 2023
@elliefm
Copy link
Contributor Author

elliefm commented Nov 16, 2023

Backported to 3.8, 3.6, and 3.4. We don't currently run CI for 3.2

@elliefm elliefm deleted the v39/ci-debian-version branch November 16, 2023 23:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants