Skip to content

Conversation

@edsko
Copy link
Collaborator

@edsko edsko commented Jul 8, 2025

This will fail, because on CI the output from rust-bindgen, despite it being the same version, is slightly different. Not sure why. Submitting this PR so that we don't lose sight of this.

@edsko edsko added priority: medium CI Improvements to the CI infrastructure labels Jul 8, 2025
@dschrempf
Copy link
Collaborator

Should we open an issue at rust-bindgen and ask about this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Improvements to the CI infrastructure priority: medium

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants