Skip to content

chore: fix build #393

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 14 commits into from
Aug 13, 2025
Merged

chore: fix build #393

merged 14 commits into from
Aug 13, 2025

Conversation

cordx56
Copy link
Owner

@cordx56 cordx56 commented Aug 12, 2025

Description

fix rayon thread pool size and build script

@cordx56 cordx56 requested a review from MuntasirSZN August 12, 2025 17:53
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 12, 2025
@cordx56 cordx56 force-pushed the chore/fix-windows-build branch from 3578a76 to b87ef5b Compare August 12, 2025 19:10
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 12, 2025
@cordx56 cordx56 force-pushed the chore/fix-windows-build branch from 7a16f8d to db5eb76 Compare August 12, 2025 19:27
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 12, 2025
@cordx56 cordx56 force-pushed the chore/fix-windows-build branch from f0ac93a to 0705638 Compare August 12, 2025 19:43
@cordx56 cordx56 removed the request for review from MuntasirSZN August 12, 2025 19:44
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 12, 2025
@cordx56 cordx56 force-pushed the chore/fix-windows-build branch from 0705638 to de67c72 Compare August 12, 2025 19:46
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 12, 2025
@cordx56 cordx56 force-pushed the chore/fix-windows-build branch from de67c72 to b941810 Compare August 12, 2025 19:51
@cordx56 cordx56 added the do-build-check Execute build check on PR label Aug 12, 2025
@cordx56 cordx56 force-pushed the chore/fix-windows-build branch from b941810 to 4d1904c Compare August 12, 2025 19:53
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 12, 2025
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 13, 2025
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 13, 2025
@cordx56 cordx56 force-pushed the chore/fix-windows-build branch from ec55706 to 8049a85 Compare August 13, 2025 12:53
@cordx56 cordx56 changed the title chore: fix windows build chore: fix build Aug 13, 2025
@cordx56 cordx56 added do-build-check Execute build check on PR and removed do-build-check Execute build check on PR labels Aug 13, 2025
@cordx56 cordx56 requested a review from MuntasirSZN August 13, 2025 13:26
@cordx56
Copy link
Owner Author

cordx56 commented Aug 13, 2025

@MuntasirSZN if you merge this, please squash.

@MuntasirSZN MuntasirSZN merged commit 20a565f into main Aug 13, 2025
16 checks passed
@MuntasirSZN MuntasirSZN deleted the chore/fix-windows-build branch August 13, 2025 16:28
@MuntasirSZN
Copy link
Collaborator

@cordx56 This package manager turned out to be a rabbithole, and windows is another beast of its own....

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

@MuntasirSZN MuntasirSZN MuntasirSZN approved these changes

Assignees
No one assigned
Labels
do-build-check Execute build check on PR
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@cordx56 @MuntasirSZN