Skip to content

Update Nix-related CI for passage of time#6946

Merged
mpilgrem merged 1 commit into
masterfrom
nix-ci
Jul 8, 2026
Merged

Update Nix-related CI for passage of time#6946
mpilgrem merged 1 commit into
masterfrom
nix-ci

Conversation

@mpilgrem

@mpilgrem mpilgrem commented Jul 7, 2026

Copy link
Copy Markdown
Member
  • Any changes that could be relevant to users have been recorded in ChangeLog.md.
  • The documentation has been updated, if necessary

Please also shortly describe how you tested your change. Bonus points for added tests! Relying on CI.

@mpilgrem mpilgrem merged commit 7c28193 into master Jul 8, 2026
13 checks passed
@mpilgrem mpilgrem deleted the nix-ci branch July 8, 2026 08:10
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