Skip to content

Conversation

@zeshanziya
Copy link
Contributor

This PR fixes issue #125

@hussainweb
Copy link
Owner

hussainweb commented May 21, 2024

The failure happens because of unrelated reasons and is fixed in #127. This means that the generated files will be committed on merge.

@hussainweb hussainweb merged commit 03d920e into hussainweb:main May 21, 2024
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