Skip to content

Conversation

@avivkeller
Copy link
Member

@avivkeller avivkeller commented Jul 13, 2025

Fixes the few remaining issues with this workflow, and adds debug logging so we can easily identify future errors.

@avivkeller avivkeller marked this pull request as ready for review July 13, 2025 21:07
@avivkeller avivkeller requested a review from a team as a code owner July 13, 2025 21:07
@avivkeller
Copy link
Member Author

See #19

@avivkeller avivkeller merged commit 2b0ba74 into main Jul 14, 2025
5 checks passed
@avivkeller avivkeller deleted the fix/icr branch July 14, 2025 12:24
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