Skip to content

Conversation

@certik
Copy link
Contributor

@certik certik commented Jul 8, 2024

No description provided.

@certik certik mentioned this pull request Jul 8, 2024
@certik
Copy link
Contributor Author

certik commented Jul 8, 2024

Fixed in #2764.

@certik certik closed this Jul 8, 2024
@certik certik deleted the ci_kernel branch July 8, 2024 17:25
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.

2 participants