We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
A successful build ✔️
💣
No useful info in the build log, but past builds often failed with a completely random segfault.
The text was updated successfully, but these errors were encountered:
Hi! This is what I see in the logs when I tried building the docs locally.
Gitmodule path 'ext_modules/jquery' did not exist in revision of parent commit HEAD "Blob or Tree named 'ext_modules' not found"
(if the submodule exists, maybe a wipe fixes the problem)
Related comment: #5133 (comment)
Sorry, something went wrong.
This is because you have submodules that are not in the repo https://github.com/indico/indico/blob/master/.gitmodules
Thanks, removing the obsolete .gitmodules file fixed it!
indico/indico@ece9051
No branches or pull requests
Details:
Expected Result
A successful build ✔️
Actual Result
💣
No useful info in the build log, but past builds often failed with a completely random segfault.
The text was updated successfully, but these errors were encountered: