-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Spike submodule needs to be bumped? #1285
Comments
While I'm at it, I'll flag this issue here again: As mentioned there, it seems to me that the
Which would make one assume that building the
The use of this "pinned" commit is also reflected in the GitHub view of the As such, it seems again to me that the |
Addressed by #1283 |
This reverts commit a8a1fd8.
This reverts commit 8b47422.
Does it need to be bumped?
The one that gets built via the current submodule causes the debug tests to fail because it does not support this option in the latest Spike repo:
For more details see here:
The text was updated successfully, but these errors were encountered: