Closed github-actions[bot] closed 1 month ago
@dschuff This seems to have been created again. I guess the previous merged one was the one you created manually and this was the one created automatically? I guess we should drop this, right?
Yeah I was trying to get the reviewer notification working; it looks like the PR gets created even if the notification fails. we can just close this.
With emscripten-releases revisions: https://chromium.googlesource.com/emscripten-releases/+/8fe01288bc35668c13316324336ea00195dfb814 (LTO) https://chromium.googlesource.com/emscripten-releases/+/cf6f9d1b4026ec7aec33aceb68077c704b52b068 (asserts)