Skip to content

CI: update and pin cachix action#453

Merged
danieldk merged 1 commit intomainfrom
bump-cachix
Apr 15, 2026
Merged

CI: update and pin cachix action#453
danieldk merged 1 commit intomainfrom
bump-cachix

Conversation

@danieldk
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown
Member

@sayakpaul sayakpaul left a comment

Choose a reason for hiding this comment

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

Great catch

Copy link
Copy Markdown
Collaborator

@drbh drbh left a comment

Choose a reason for hiding this comment

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

lgtm

@danieldk danieldk merged commit ce3810e into main Apr 15, 2026
38 checks passed
@danieldk danieldk deleted the bump-cachix branch April 15, 2026 09:30
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.

3 participants