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

mergify: migrate to new buildbot #1047

Closed

DavHau wants to merge 2 commits into main from ci

Closed

mergify: migrate to new buildbot #1047

Merge branch 'main' into ci

Mergify / Queue: Embarked in merge queue failed Sep 26, 2024 in 0s

Pull request #1048 has been dequeued

Pull request #1048 has been dequeued. The pull request has been merged manually. The pull request has been merged manually at f06b62b

View more details on Mergify