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

[8.0] Minor generation workflow bugfix (#2187) #2199

Merged

pquentin merged 2 commits into 8.0 from backport-2187-to-8.0

Jun 20, 2024

Member

flobernd commented Jul 18, 2023 •

edited

Loading

Manual backport.


          Minor generation workflow bugfix (#2187)

269215f

pquentin changed the title ~~Minor generation workflow bugfix (#2187)~~ [8.0] Minor generation workflow bugfix (#2187)


          Merge branch '8.0' into backport-2187-to-8.0

fc6511d

pquentin approved these changes

View reviewed changes

pquentin merged commit 5693048 into 8.0

5 checks passed

pquentin deleted the backport-2187-to-8.0 branch

June 20, 2024 07:28

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet