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
Investigate build issues. #132
Comments
The important part of GH's response to David's support request:
|
Attempt to fix recent build problems. See #132.
I made the change. I'll leave this open for a sec until we know if build worked. |
Ok did some minor triage and pushed things up. I think we have all the commits we need again but i'll hang on to my backup branch for a bit. Build succeeded after push, but holler if any problems. |
Builds worked fine up until the merge of last week's minutes. We reverted to the last built commit and the repository still won't build.
The text was updated successfully, but these errors were encountered: