Skip to content

Conversation

@srilman
Copy link
Contributor

@srilman srilman commented Apr 1, 2025

Changes included in this PR

Testing strategy

User facing changes

Checklist

  • Pipelines passed before requesting review. To run CI you must include [run CI] in your commit message.
  • I am familiar with the Contributing Guide
  • I have installed + ran pre-commit hooks.

@srilman
Copy link
Contributor Author

srilman commented Apr 30, 2025

Handing off to @ehsantn who has context on this compilation error

@ehsantn
Copy link
Collaborator

ehsantn commented Apr 30, 2025

@srilman could you add more details like the minimal reproducer, and the specific action items that we discussed? I don't remember much right now.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants