Repository navigation
Adapts to new Boost download location - #15691
Conversation
b07d539 to
ac4d267
Compare
|
|
There was a problem hiding this comment.
We also need a PR switching to the new docker file (and look at tests there to proceed with merging here)
We can keep ignoring the ossfuzz image for now, since IIRC it'll be separately fixed.
I'm not approving, since I don't see the sibling PR switching the image hashes for CI yet (if there is one, link it in the description)
ekpyron
left a comment
There was a problem hiding this comment.
Already approving this (even though it's technically not the correct sequence of changes), since the emscripten build in #15691 passed (we should wait for the tests with merging it, though).
Not sure if we should even touch the ossfuzz image here, but I guess better to avoid confusion about the URL here when finally fixing it properly, so fine with keeping the change here, even though we can't build the image.
Fixes #15690
PR switching to the new emscripten docker file: #15693