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

12.0 CI is broken (and maybe in V13) #3925

Open
legalsylvain opened this issue Jun 21, 2023 · 0 comments
Open

12.0 CI is broken (and maybe in V13) #3925

legalsylvain opened this issue Jun 21, 2023 · 0 comments
Labels
Milestone

Comments

@legalsylvain
Copy link
Contributor

legalsylvain commented Jun 21, 2023

Rational :

As a résult, trivial PR like #3922 are blocked

Any people intérested to investigate ?
(In the meantime, i propose to merge documentation PR to avoid to block the refactor)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant