Skip to content

Revert "Merge pull request #13709 from NixOS/boehm-coroutines-sp"#13731

Merged
Mic92 merged 1 commit intoNixOS:masterfrom
Mic92:fix-ci
Aug 11, 2025
Merged

Revert "Merge pull request #13709 from NixOS/boehm-coroutines-sp"#13731
Mic92 merged 1 commit intoNixOS:masterfrom
Mic92:fix-ci

Conversation

@Mic92
Copy link
Member

@Mic92 Mic92 commented Aug 11, 2025

This reverts commit 4b3ca9b, reversing changes made to 867b69f.

Since this commit we get reproducible segfaults building Nix ci in macos github runners: https://github.com/NixOS/nix/actions/runs/16885882321/job/47837390248

Motivation

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

This reverts commit 4b3ca9b, reversing
changes made to 867b69f.

Since this commit we get reproducible segfaults building Nix ci in macos github runners:
https://github.com/NixOS/nix/actions/runs/16885882321/job/47837390248
@Mic92 Mic92 requested a review from edolstra as a code owner August 11, 2025 17:19
@Mic92
Copy link
Member Author

Mic92 commented Aug 11, 2025

cc @edolstra

@Mic92 Mic92 enabled auto-merge August 11, 2025 17:21
@Mic92 Mic92 disabled auto-merge August 11, 2025 17:21
@Mic92 Mic92 merged commit 83c43d9 into NixOS:master Aug 11, 2025
8 of 9 checks passed
@Mic92 Mic92 deleted the fix-ci branch August 11, 2025 17:23
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