Skip to content

fix(build): Use temporary files instead of pipes to prevent not finishing#643

Merged
5K1PY merged 1 commit intomasterfrom
fix/build-not-finishing
Mar 2, 2026
Merged

fix(build): Use temporary files instead of pipes to prevent not finishing#643
5K1PY merged 1 commit intomasterfrom
fix/build-not-finishing

Conversation

@5K1PY
Copy link
Collaborator

@5K1PY 5K1PY commented Mar 2, 2026

Fixes #642

@5K1PY 5K1PY requested a review from SvizelPritula March 2, 2026 19:38
@5K1PY 5K1PY self-assigned this Mar 2, 2026
@5K1PY 5K1PY added the build Changes to how user programs are built label Mar 2, 2026
Copy link
Contributor

@SvizelPritula SvizelPritula left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM at first glance.

@5K1PY 5K1PY merged commit 899f82b into master Mar 2, 2026
2 checks passed
@5K1PY 5K1PY deleted the fix/build-not-finishing branch March 2, 2026 19:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build Changes to how user programs are built

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Building forever

2 participants