Skip to content

Update cachix in CI - #4892

Closed
juliankuners wants to merge 1 commit into
developfrom
update-cachix-in-ci
Closed

Update cachix in CI#4892
juliankuners wants to merge 1 commit into
developfrom
update-cachix-in-ci

Conversation

@juliankuners

Copy link
Copy Markdown
Contributor

The release workflows are failing in k, evm-semantics, and possibly in other repositories on MacOS machines when pushing to a nix cache.

The exception means that the peer, cachix, closed the HTTP connection:

(InternalException Network.Socket.recvBuf: resource vanished (Connection reset by peer))

This PR is an attempt to fix this by updating cachix in CI from version 14 (Jan 12, 2024) to version 16 (Mar 10, 2025).

@juliankuners
juliankuners requested a review from a team as a code owner December 15, 2025 11:01
@rv-jenkins
rv-jenkins changed the base branch from master to develop December 15, 2025 11:01
@juliankuners
juliankuners marked this pull request as draft December 15, 2025 11:27
@juliankuners

Copy link
Copy Markdown
Contributor Author

The workflows install the newest version anyway by running nix-env --quiet -j8 -iA cachix -f https://cachix.org/api/v1/install internally. On top of that, the MacOS CI machines skip running the cachix workflow. Instead, the MacOS machines use their own locally installed cachix, which on rvwork-m1, e.g., is on version 1.7.9.

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.

1 participant