Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Reflect new build args propagation in build.rs #129

Merged
merged 3 commits into from
Jun 27, 2024
Merged

Reflect new build args propagation in build.rs #129

merged 3 commits into from
Jun 27, 2024

Conversation

taks
Copy link
Owner

@taks taks commented Jun 27, 2024

Fix #128

@taks taks merged commit 073d9f4 into main Jun 27, 2024
14 checks passed
@taks taks deleted the fix-128 branch July 14, 2024 09:17
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Reflect new build args propagation in build.rs
1 participant