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

Add header include for docker builds. #15106

Merged

nikola-matic merged 1 commit into develop from dockertest

May 15, 2024

+1 −0

Member

ekpyron commented May 15, 2024 •

edited

Can be confirmed by running
scripts/docker_deploy_manual.sh dockertest
(while scripts/docker_deploy_manual.sh develop fails currently)


          Add header include for docker builds.

659d13f

ekpyron force-pushed the dockertest branch from 8c13ff4 to 659d13f Compare

May 15, 2024 17:41

nikola-matic approved these changes

View reviewed changes

nikola-matic merged commit be16d2d into develop

72 checks passed

nikola-matic deleted the dockertest branch

May 15, 2024 18:16

Member

cameel commented May 23, 2024

I wonder if it was the same problem we've seen in 0.8.24 (#14816)? It did not happen in 0.8.25, so I assumed it was fixed.

I'm adding #14816 to the next milestone, because we really should have a CI check for this if it happened twice.

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